Re: [PATCH] gnu: Update sunxi-tools to 1.4

2016-10-26 Thread Efraim Flashner
On Wed, Oct 26, 2016 at 11:21:32PM +0200, Danny Milosavljevic wrote: > --- > gnu/packages/admin.scm | 14 +- > 1 file changed, 9 insertions(+), 5 deletions(-) > > diff --git a/gnu/packages/admin.scm b/gnu/packages/admin.scm > index d9b08ef..856d946 100644 > --- a/gnu/packages/admin.sc

Re: [PATCH v2 3/3] gnu: Add openocd.

2016-10-26 Thread Efraim Flashner
On Thu, Oct 27, 2016 at 12:08:07AM +0300, Theodoros Foradis wrote: > * gnu/packages/embedded.scm (openocd): New variable. > * gnu/packages/patches/openocd-nrf52.patch: New file. > * gnu/local.mk (dist_patch_DATA): Add the patch. > --- > gnu/local.mk | 1 + > gnu/packa

Re: [PATCH] gnu: Update sunxi-tools to 1.4

2016-10-26 Thread John Darrington
On Wed, Oct 26, 2016 at 11:21:32PM +0200, Danny Milosavljevic wrote: --- gnu/packages/admin.scm | 14 +- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/gnu/packages/admin.scm b/gnu/packages/admin.scm index d9b08ef..856d946 100644 --- a/

Re: [PATCH 0/2] gnu: Add libpcsclite

2016-10-26 Thread Mike Gerwitz
Marius: Thanks for your mentoring on this. :) On Mon, Oct 24, 2016 at 17:21:18 +0100, Marius Bakke wrote: > I'll continue working on getting ccid integrated and eventually make a > pcscd service for GuixSD. Is there anything you'd like help on? I'd be happy to test whatever you come up with as

Re: [PATCH 2/2] services: Add 'cuirass-service'.

2016-10-26 Thread Leo Famulari
On Wed, Oct 26, 2016 at 03:05:58PM +0200, Mathieu Lirzin wrote: > > * gnu/services/cuirass.scm: New file. > * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. > * doc/guix.texi (Continuous integration): New node. > +In order to add build jobs you will have to set the > +@code{specifications} field. Du

Re: [PATCH 0/1] Perl-www-curl: Fix build failure

2016-10-26 Thread Leo Famulari
On Tue, Oct 25, 2016 at 08:01:30PM +0100, Marius Bakke wrote: > Leo Famulari writes: > > > This fixes the build failure of perl-www-curl build on core-updates: > > https://hydra.gnu.org/build/1553325/nixlog/2 > > > > The patch is copied from the upstream bug tracker, but the maintainers > > don't

Re: [PATCH] gnu: icecat: Enable gtk3 support.

2016-10-26 Thread Mark H Weaver
David Craven writes: > * gnu/packages/gnuzilla.scm (icecat)[inputs]: Add gtk+. > [arguments]: Use --enable-default-toolkit=cairo-gtk3. Force light > gtk theme in desktop file to avoid unreadable input fields. > --- > gnu/packages/gnuzilla.scm | 11 --- > 1 file changed, 8 insertions(

[PATCH] gnu: Update sunxi-tools to 1.4

2016-10-26 Thread Danny Milosavljevic
--- gnu/packages/admin.scm | 14 +- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/gnu/packages/admin.scm b/gnu/packages/admin.scm index d9b08ef..856d946 100644 --- a/gnu/packages/admin.scm +++ b/gnu/packages/admin.scm @@ -1859,14 +1859,14 @@ Kerberos and Heimdal and FAS

[PATCH v2 3/3] gnu: Add openocd.

2016-10-26 Thread Theodoros Foradis
* gnu/packages/embedded.scm (openocd): New variable. * gnu/packages/patches/openocd-nrf52.patch: New file. * gnu/local.mk (dist_patch_DATA): Add the patch. --- gnu/local.mk | 1 + gnu/packages/embedded.scm| 70 +++ gnu/packages/patches/openocd-nrf52.p

[PATCH v2 2/3] gnu: Add hidapi.

2016-10-26 Thread Theodoros Foradis
* gnu/packages/hidapi.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. --- gnu/local.mk| 1 + gnu/packages/hidapi.scm | 63 + 2 files changed, 64 insertions(+) create mode 100644 gnu/packages/hidapi.scm diff --git a/gnu/loca

[PATCH v2 1/3] gnu: Add gdb-arm-none-eabi.

2016-10-26 Thread Theodoros Foradis
* gnu/packages/embedded.scm (gdb-arm-none-eabi): New variable. --- gnu/packages/embedded.scm | 13 + 1 file changed, 13 insertions(+) diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index a7af69f..0b4f9ab 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/emb

[PATCH v2 0/3] gnu: Add gdb-arm-none-eabi and openocd.

2016-10-26 Thread Theodoros Foradis
Hello Dadiv, I am posting a version 2 of the patch series, making the changes you suggested for hidapi plus the following. The git commit was changed to a more recent one. A guix package revision was added, for future package updates. David Craven writes: > Hi Theodoros, > > Do we really need

Re: [PATCH] improve nginx-service

2016-10-26 Thread Julien Lepiller
On Mon, 24 Oct 2016 22:51:27 +0200 l...@gnu.org (Ludovic Courtès) wrote: > Hi, > > Julien Lepiller skribis: > > > On Wed, 19 Oct 2016 23:04:14 +0200 > > l...@gnu.org (Ludovic Courtès) wrote: > > > >> Hi Julien, > >> > >> This looks like a great improvement to me! Sounds nicer than > >> fidd

Re: [PATCH 2/2] services: Add 'cuirass-service'.

2016-10-26 Thread David Craven
>> Is %default-cuirass-configuration needed? > > The benefit is a slightly more meaningful default value for #:CONFIG in > the 'cuirass-service' procedure documentation. However I am not sure if > that helps much. WDYT? I don't think it's necessary. An example where it's useful is %default-syslo

Re: [PATCH 2/3] gnu: Add hidapi.

2016-10-26 Thread David Craven
> There is no configure script in the release tarball, so I think we > either need this or: Ah ok then... (zero? (system* "autoreconf" "-vfi")) might be nicer than (system* "./bootstrap.sh") but doesn't really matter. I thought that when you create a tarball with `make dist` the configure file is

[PATCH] gnu: icecat: Enable gtk3 support.

2016-10-26 Thread David Craven
* gnu/packages/gnuzilla.scm (icecat)[inputs]: Add gtk+. [arguments]: Use --enable-default-toolkit=cairo-gtk3. Force light gtk theme in desktop file to avoid unreadable input fields. --- gnu/packages/gnuzilla.scm | 11 --- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/gn

Re: Providing an alternative to setuid in GuixSD

2016-10-26 Thread sbaugh
Christopher Allan Webber writes: > So, you're running psudo, and this thing maybe accepts connections over > something more secure, *maybe* unix domain sockets... so restrict group > access to the socket to users in the "psudo" group. > > From there, maybe it could require PAM authentication while

Re: [PATCH 2/3] gnu: Add hidapi.

2016-10-26 Thread Theodoros Foradis
David Craven writes: > I don't think we need this: > > (arguments > + '(#:phases > + (modify-phases %standard-phases > + (add-before 'configure 'bootstrap > +(lambda _ > + (system* "./bootstrap") > + #t) > >> +

Re: Web site news to move to Haunt

2016-10-26 Thread Christopher Allan Webber
Ludovic Courtès writes: > Hello Guix! > > In the ‘wip-haunt’ branch of guix-artwork.git, I started switching the > web site to use Haunt, as was suggested long ago: > > https://lists.gnu.org/archive/html/guix-devel/2015-11/msg00087.html > > The goal is to manage news using Haunt, and to have a p

Re: Providing an alternative to setuid in GuixSD

2016-10-26 Thread Christopher Allan Webber
Ludovic Courtès writes: > SSH is a complex protocol and its implementations are complex too. I > would find it unreasonable to replace ‘su’ and ‘sudo’ with something > this complex, that goes through the TCP/IP stack, etc. I agree. We could maybe have a pseudo-sudo service that is built just fo

Re: [PATCH] gnu: Add lci.

2016-10-26 Thread Efraim Flashner
On Sat, Oct 15, 2016 at 09:01:00PM +, ng0 wrote: > From: ng0 > > * gnu/packages/lolcode.scm: New file. > * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. > --- > gnu/local.mk | 1 + > gnu/packages/lolcode.scm | 60 > > 2 files change

Re: Guix on clusters and in HPC

2016-10-26 Thread Ludovic Courtès
Hi! Eric Bavier skribis: >> - non-root usage > > The Singularity project advertises that it does not use a root-owned > daemon http://singularity.lbl.gov/about#no-root-owned-daemon-processes > but it does not in the same section explain that it uses a setuid > helper instead: http://singularit

Re: half-package of autossh

2016-10-26 Thread Christopher Allan Webber
Ludovic Courtès writes: > Christopher Allan Webber skribis: > >> From c718ca3986750c255a58b87d9e6805e56c1ffc72 Mon Sep 17 00:00:00 2001 >> From: Christopher Allan Webber >> Date: Mon, 8 Feb 2016 16:01:49 -0800 >> Subject: [PATCH] gnu: Add autossh. >> >> * gnu/packages/ssh.scm (autossh): New vari

Re: #!/usr/bin/env in containers, or something

2016-10-26 Thread Christopher Allan Webber
Ludovic Courtès writes: > Christopher Allan Webber skribis: > >> I'm currently looking at building a version of coreboot. Unfortunately, >> the mortal enemy of every GuixSD user, #!/usr/bin/env, lurks around >> every corner. >> >> Wingo made an interesting suggestion on IRC today: maybe we could

Re: Guix on clusters and in HPC

2016-10-26 Thread Eric Bavier
- non-root usage + file system virtualization needed * map ~/.local/gnu/store to /gnu/store * user name spaces? * [[https://github.com/proot-me/PRoot/][PRoot]]? but performance problems? * common interface, like “guix enter” spawns a shell where /gnu/store is a

[PATCH] gnu: r: Use uname from Guix

2016-10-26 Thread Roel Janssen
Dear Guix, When running R, it executes a wrapper script that relies on @code{uname} to be available in PATH: > R_HOME_DIR=/gnu/store/dz83xhn43qc2dpdrja8mhx78l7qffqvq-r-3.3.0/lib/R > if test "${R_HOME_DIR}" = > "/gnu/store/dz83xhn43qc2dpdrja8mhx78l7qffqvq-r-3.3.0/lib/R"; then >case "linux-gnu

Re: [PATCH 2/2] services: Add 'cuirass-service'.

2016-10-26 Thread Mathieu Lirzin
Hello David, David Craven writes: > Do we need to export all of these? > > +cuirass-configuration-cache-directory > +cuirass-configuration-group > +cuirass-configuration-interval > +cuirass-configuration-database > +cuirass-configuratio

Re: Providing an alternative to setuid in GuixSD

2016-10-26 Thread sbaugh
l...@gnu.org (Ludovic Courtès) writes: > Well, the kernel Linux will forever support setuid binaries That can be selectively turned off per-mount, simply specify the nosuid option. And so eventually we can get to a point where setuid is a Linux build configuration option, which distros can turn of

Re: [PATCH] gnu: mupdf: Fix CVE-2016-8674.

2016-10-26 Thread Marius Bakke
Ludovic Courtès writes: >> From c51f44edf3293aae323eded49dcba750f54607cb Mon Sep 17 00:00:00 2001 >> From: Marius Bakke >> Date: Wed, 26 Oct 2016 06:39:34 +0100 >> Subject: [PATCH] gnu: mupdf: Modify CVE-2016-8674 patch to apply to 1.9a. >> >> The fix from upstream did not apply cleanly due to m

Re: Workflow management with GNU Guix

2016-10-26 Thread Roel Janssen
Ludovic Courtès writes: > Roel Janssen skribis: > >> I realize I never shared my proof-of-concept implementation. I attached >> my motivations for having a workflow language in Guix, and my code. > > Nice work, thanks for sharing! > >> The subcommand "guix workflow" does not work (yet) here. I

Re: [PATCH 2/2] services: Add 'cuirass-service'.

2016-10-26 Thread David Craven
Hi Mathieu, Do we need to export all of these? +cuirass-configuration-cache-directory +cuirass-configuration-group +cuirass-configuration-interval +cuirass-configuration-database +cuirass-configuration-specifications +cuirass

Re: [PATCH 1/2] gnu: Add Cuirass.

2016-10-26 Thread David Craven
LGTM!

[PATCH 0/2] Cuirass package + service.

2016-10-26 Thread Mathieu Lirzin
Hello, Here is a package definition and service for Cuirass. As documented both in the second patch, the service is not really useful as it is. TL;DR Cuirass needs to be launched the first time with the "--specifications" option and then without it, because it has a side effect on the database.

[PATCH 1/2] gnu: Add Cuirass.

2016-10-26 Thread Mathieu Lirzin
* gnu/packages/ci.scm (cuirass): New variable. Co-authored-by: Jan Nieuwenhuizen --- gnu/packages/ci.scm | 51 +++ 1 file changed, 51 insertions(+) diff --git a/gnu/packages/ci.scm b/gnu/packages/ci.scm index 3f54ff1..3cacc23 100644 --- a/gnu/pac

[PATCH 2/2] services: Add 'cuirass-service'.

2016-10-26 Thread Mathieu Lirzin
* gnu/services/cuirass.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. * doc/guix.texi (Continuous integration): New node. --- doc/guix.texi| 86 +++ gnu/local.mk | 1 + gnu/services/cuirass.scm | 128 +

Re: [PATCH] gnu: Add python2-pathlib2.

2016-10-26 Thread Efraim Flashner
On Thu, Oct 13, 2016 at 11:45:13AM +0200, Hartmut Goebel wrote: > Adding only the Python 2 variant, since for Python 3 our minimum version > is 3.4 which already includes this package as part of the standard library. > > gnu/packages/python.scm (python2-pathlib2): New variable. > --- > gnu/packag

Re: [PATCH 1/3] gnu: Add gdb-arm-none-eabi.

2016-10-26 Thread David Craven
LGTM!

Re: Display diffs between generations.

2016-10-26 Thread Roel Janssen
Benz Schenk writes: > On Tue, 25 Oct 2016 18:01:23 +0200 > Roel Janssen wrote: > >> Ludovic Courtès writes: >> >> > Hi! >> > >> > Benz Schenk skribis: >> > >> >> On Fri, 21 Oct 2016 11:37:00 +0200 >> >> Roel Janssen wrote: >> > >> > [...] >> > >> [...] >> >> >> >> I adapted your patc

Re: [PATCH] gnu: mupdf: Fix CVE-2016-8674.

2016-10-26 Thread Ludovic Courtès
Marius Bakke skribis: > I've modified the patch to apply to 1.9a, but it was far from trivial > due to many context changes in upstream git. The attached patch makes > mupdf build at least, and viewing PDF still works... > > The interdiff is rather unintelligible, so to verify this you should > c

Re: Providing an alternative to setuid in GuixSD

2016-10-26 Thread Ludovic Courtès
Hello! sba...@catern.com skribis: > == Why remove setuid binaries? == > > setuid binaries are problematic for two reasons: > > 1. Each binary is an attack surface which is frequently exploited by >attackers for local privilege escalation. So getting rid of them >would improve security. >

Re: [PATCH 2/3] gnu: Add hidapi.

2016-10-26 Thread David Craven
I don't think we need this: (arguments + '(#:phases + (modify-phases %standard-phases + (add-before 'configure 'bootstrap +(lambda _ + (system* "./bootstrap") + #t) > +(native-inputs `(("autoconf" ,autoconf) >

Re: #!/usr/bin/env in containers, or something

2016-10-26 Thread Ludovic Courtès
Christopher Allan Webber skribis: > I'm currently looking at building a version of coreboot. Unfortunately, > the mortal enemy of every GuixSD user, #!/usr/bin/env, lurks around > every corner. > > Wingo made an interesting suggestion on IRC today: maybe we could have > some "guix environment --

Re: [PATCH 3/3] gnu: Add openocd.

2016-10-26 Thread David Craven
Hi Theodoros, Do we really need this patch? Is there a reason why it hasn't been upstreamed yet? (add-before 'configure 'bootstrap + (lambda _ + (system* "aclocal") + (system* "libtoolize" "--automake" "--copy") + (system* "autoconf") +

Re: Workflow management with GNU Guix

2016-10-26 Thread Ludovic Courtès
Roel Janssen skribis: > I realize I never shared my proof-of-concept implementation. I attached > my motivations for having a workflow language in Guix, and my code. Nice work, thanks for sharing! > The subcommand "guix workflow" does not work (yet) here. I currently > execute a workflow dire

Re: Guix on clusters and in HPC

2016-10-26 Thread Ludovic Courtès
Ricardo Wurmus skribis: > Ludovic Courtès writes: > >> Your thoughts about the point about Galaxy? > > I talked to one of the Galaxy core developers at a conference and they > told me they have implemented Docker support recently. Essentially, > they build software in a minimal Docker system an

Re: half-package of autossh

2016-10-26 Thread Ludovic Courtès
Christopher Allan Webber skribis: > From c718ca3986750c255a58b87d9e6805e56c1ffc72 Mon Sep 17 00:00:00 2001 > From: Christopher Allan Webber > Date: Mon, 8 Feb 2016 16:01:49 -0800 > Subject: [PATCH] gnu: Add autossh. > > * gnu/packages/ssh.scm (autossh): New variable. [...] > +(synopsis "Au

Re: Guix on clusters and in HPC

2016-10-26 Thread Ludovic Courtès
Hi, myglc2 skribis: > The scheduler that I am most familiar with, SGE, supports the > proposition that compute hosts are heterogeneous and that they each have > a fixed software and/or hardware configuration. As a result, users need > to specify resources, such as SW packages &/or #CPUs &/or mem

Re: Guix on clusters and in HPC

2016-10-26 Thread Ricardo Wurmus
myglc2 writes: > While SGE is dated and can be a bear to use, it provides a useful > yardstick for HPC/Cluster functionality. So it is useful to consider how > Guix(SD) might impact this model. Presumably a defining characteristic > of GuixSD clusters is that the software configuration of comput

Re: workin on openvpn service

2016-10-26 Thread Ludovic Courtès
Hello! Julien Lepiller skribis: > I'm currently writing an openvpn service. Here is the patch (wip). It > works for the client part, I didn't test the server part yet (but it > generates a configuration file). Sounds useful! > First, how could I make openvpn-config-file look better? You could

Re: Display diffs between generations.

2016-10-26 Thread Ludovic Courtès
Benz Schenk skribis: > On Tue, 25 Oct 2016 18:01:23 +0200 > Roel Janssen wrote: [...] >> There's only one thing: >> Would it make more sense to stick to the chronology of the generations >> (sorting them before displaying them)? > > IMO it's useful to see the diffs in reverse when before switc

Re: [PATCH 4/4] gnu: Add psyced.

2016-10-26 Thread Efraim Flashner
On Tue, Oct 04, 2016 at 08:34:29AM +, ng0 wrote: > * gnu/packages/psyc.scm (psyced): New variable. > --- > gnu/packages/psyc.scm | 103 > ++ > 1 file changed, 103 insertions(+) > > diff --git a/gnu/packages/psyc.scm b/gnu/packages/psyc.scm > in

Re: Display diffs between generations.

2016-10-26 Thread Benz Schenk
On Tue, 25 Oct 2016 18:01:23 +0200 Roel Janssen wrote: > Ludovic Courtès writes: > > > Hi! > > > > Benz Schenk skribis: > > > >> On Fri, 21 Oct 2016 11:37:00 +0200 > >> Roel Janssen wrote: > > > > [...] > > > [...] > >> > >> I adapted your patch to hopefully implement the desired beha

Re: Guix world tour

2016-10-26 Thread Ludovic Courtès
l...@gnu.org (Ludovic Courtès) skribis: > Amirouche Boubekki skribis: > >> On Fri, Sep 30, 2016 at 11:45 AM Ludovic Courtès wrote: >> >>> The CUFP talk was in this very nice room with 60 people or so. I >>> focused on why and how we use Scheme extensively, explicitly comparing >>> to Nix{,OS},

Re: [PATCH] gnu: mupdf: Fix CVE-2016-8674.

2016-10-26 Thread Mark H Weaver
Kei Kebreau writes: > Mark H Weaver writes: > >> Leo Famulari writes: >> >>> On Tue, Oct 25, 2016 at 12:53:28PM -0400, Kei Kebreau wrote: Fix for https://blogs.gentoo.org/ago/2016/09/22/mupdf-use-after-free-in-pdf_to_num-pdf-object-c/. >>> From 97312c3c9e13688081aa513d1c94a9fff12

Re: [PATCH] gnu: notmuch: Update to 0.23.1.

2016-10-26 Thread Ludovic Courtès
Marius Bakke skribis: > If you can read this message, this seems to work for me.. ;) A good test. :-) > From afb9160f1968447c318aa0f2508de2ab396ce1ba Mon Sep 17 00:00:00 2001 > From: Marius Bakke > Date: Tue, 25 Oct 2016 20:10:35 +0100 > Subject: [PATCH] gnu: notmuch: Update to 0.23.1. > > *

Re: [PATCH] gnu: yubico.scm: Rename to security-token.scm.

2016-10-26 Thread Ludovic Courtès
Marius Bakke skribis: > This is an attempt to make it generic enough for middleware and drivers > such as pcsc-lite and ccid, in addition to tools for other devices. Good idea. > Other options include "authentication.scm", "auth-token.scm", > "security.scm" and a lot more.. > > What do you thin

Re: [PATCH 1/1] gnu: offlineimap: Install documentation.

2016-10-26 Thread Ludovic Courtès
Marius Bakke skribis: > * gnu/packages/mail.scm (offlineimap)[native-inputs]: Add asciidoc and > libxslt. > [arguments]: Add phases 'build-documentation' and > 'install-documentation' to build and install manpages. Also remove > unneeded key 'inputs' from 'wrap-binary' phase. LGTM, thanks! Ludo

Re: Guix website

2016-10-26 Thread Ludovic Courtès
Hi, ren...@openmailbox.org skribis: > The Guix website(Packages), appears updated with the date: October 14, > 2016. > > https://www.gnu.org/software/guix/packages/ Thanks, this is now fixed (commit 19262a718e97d6ebc782c8dc7e53d04cfb5f794d). This was caused by an invalid ‘license’ field in a pa

Web site news to move to Haunt

2016-10-26 Thread Ludovic Courtès
Hello Guix! In the ‘wip-haunt’ branch of guix-artwork.git, I started switching the web site to use Haunt, as was suggested long ago: https://lists.gnu.org/archive/html/guix-devel/2015-11/msg00087.html The goal is to manage news using Haunt, and to have a page to display them on the web site, s