Re: [PATCH] gnu: tzdata: Upgrade to 2014j.

2014-12-06 Thread Alex Kost
Ludovic Courtès (2014-12-07 01:26 +0300) wrote: > Alex Kost skribis: > >> Ludovic Courtès (2014-12-06 17:16 +0300) wrote: >> >>> 宋文武 skribis: >>> I thinks it's fine to push. >>> >>> Indeed, OK for master, with a commit log. >> >> "commit log"? Do you mean to add more lines in a commit mess

Re: [PATCH] gnu: Add wmctrl.

2014-12-06 Thread Alex Kost
Ludovic Courtès (2014-12-07 01:29 +0300) wrote: > Alex Kost skribis: > >> Ludovic Courtès (2014-12-06 17:15 +0300) wrote: >> >>> Alex Kost skribis: >> >> [...] - Is it ok to make "wmctrl.scm" or would it be more appropriate to put it into "xdisorg.scm"? >>> >>> xdisorg.scm would seem

[PATCH 2/2]: system: Add skeleton '.zlogin'

2014-12-06 Thread 宋文武
>From 7fccb8a8570d8806757dfdedf026ec89244c8899 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= Date: Fri, 5 Dec 2014 21:17:49 +0800 Subject: [PATCH 2/2] system: Add skeleton '.zlogin'. * gnu/system/shadow.scm (default-skeletons): Add .zlogin. --- gnu/system/shadow.scm | 4

[PATCH 1/2]: system: Cleanup bash startup files

2014-12-06 Thread 宋文武
>From feba8aac3e4b0ae0255e034b2b7cc12b405ce675 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= Date: Fri, 5 Dec 2014 20:01:07 +0800 Subject: [PATCH 1/2] system: Cleanup bash startup files. * gnu/system.scm (etc-directory) (bashrc): Rename to (profile). 'LC_ALL': Change to

Re: /etc/profile and .zshrc skeleton

2014-12-06 Thread 宋文武
Ludovic Courtès writes: > (I think I had overlooked this email earlier today, sorry for the > confusion.) Sorry for my mess. > > 宋文武 skribis: > >> From 42ccd7a445c9676db6d2c7b2b0583db45be245aa Mon Sep 17 00:00:00 2001 >> From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= >> Date: Fri, 5 Dec 2014 20:

Re: [PATCH] gnu: add msmtp

2014-12-06 Thread David Thompson
Hey there! Thanks for the patch! Tomáš Čech writes: > * gnu/packages/msmtp.scm: New file. > --- > gnu/packages/msmtp.scm | 46 ++ > 1 file changed, 46 insertions(+) > create mode 100644 gnu/packages/msmtp.scm > > diff --git a/gnu/packages/msmtp.scm

[PATCH] gnu: add msmtp

2014-12-06 Thread Tomáš Čech
* gnu/packages/msmtp.scm: New file. --- gnu/packages/msmtp.scm | 46 ++ 1 file changed, 46 insertions(+) create mode 100644 gnu/packages/msmtp.scm diff --git a/gnu/packages/msmtp.scm b/gnu/packages/msmtp.scm new file mode 100644 index 000..0cf01d4

Re: [PATCH] gnu: atlas: Try to fix build on MIPS.

2014-12-06 Thread Ludovic Courtès
Apparently the patch didn’t really help: http://hydra.gnu.org/build/167383 Seems like it insists on compiling x86 assembly, which fails: --8<---cut here---start->8--- probe_arch.o: In function `ATL_tmpnam': /tmp/nix-build-atlas-3.10.2.drv-0/build/../ATLAS//C

Re: [PATCH] gnu: cross-base: Add libc/hurd.

2014-12-06 Thread Manolis Ragkousis
On 6 December 2014 at 22:21, Ludovic Courtès wrote: > I’m not sure what else might be missing for the cross-GCC. We’ll see? :-) Yep :-) > > We’ll need to merge wip-hurd at some point. We’ll have to make sure the > existing cross tool chains are not broken. Could you make sure with: > > ./pr

/etc/profile and .zshrc skeleton

2014-12-06 Thread Ludovic Courtès
(I think I had overlooked this email earlier today, sorry for the confusion.) 宋文武 skribis: > From 42ccd7a445c9676db6d2c7b2b0583db45be245aa Mon Sep 17 00:00:00 2001 > From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= > Date: Fri, 5 Dec 2014 20:01:07 +0800 > Subject: [PATCH 1/2] system: Cleanup bash

Re: [PATCH] gnu: Add wmctrl.

2014-12-06 Thread Ludovic Courtès
Alex Kost skribis: > Ludovic Courtès (2014-12-06 17:15 +0300) wrote: > >> Alex Kost skribis: > > [...] >>> - Is it ok to make "wmctrl.scm" or would it be more appropriate to put >>> it into "xdisorg.scm"? >> >> xdisorg.scm would seem preferable to me. > > OK, then I think "unclutter" should go

Re: [PATCH] services: lsh: Add "graceful" handling of daemonic option.

2014-12-06 Thread Deck Pickard
On 6 Dec 2014 15:28, "Ludovic Courtès" wrote: > > Deck Pickard skribis: > > > From 1fef935d6292016c04b9234eedb5dcaf006dc152 Mon Sep 17 00:00:00 2001 > > From: nebuli > > Date: Wed, 3 Dec 2014 22:51:48 +0100 > > Subject: [PATCH] services: lsh: Add graceful handling of daemonic option. > > > > * d

Re: [PATCH] gnu: tzdata: Upgrade to 2014j.

2014-12-06 Thread Ludovic Courtès
Alex Kost skribis: > Ludovic Courtès (2014-12-06 17:16 +0300) wrote: > >> 宋文武 skribis: >> >>> I thinks it's fine to push. >> >> Indeed, OK for master, with a commit log. > > "commit log"? Do you mean to add more lines in a commit message? No > idea what should be written there. I did the same

Re: [PATCH] gnu: cross-base: Add libc/hurd.

2014-12-06 Thread Ludovic Courtès
Manolis Ragkousis skribis: > For the next step, I must do the appropriate changes to cross-gcc in > crossbase.scm so I can build it using the new glibc and the hurd > headers instead of the linux ones. There are also some changes to be > done in bootstrap.scm (like adding the dynamic linker for

Re: [PATCH] gnu: Add wmctrl.

2014-12-06 Thread Alex Kost
Ludovic Courtès (2014-12-06 17:15 +0300) wrote: > Alex Kost skribis: [...] >> - Is it ok to make "wmctrl.scm" or would it be more appropriate to put >> it into "xdisorg.scm"? > > xdisorg.scm would seem preferable to me. OK, then I think "unclutter" should go there as well. What about "scrot"

Re: [PATCH] gnu: tzdata: Upgrade to 2014j.

2014-12-06 Thread Alex Kost
Ludovic Courtès (2014-12-06 17:16 +0300) wrote: > 宋文武 skribis: > >> I thinks it's fine to push. > > Indeed, OK for master, with a commit log. "commit log"? Do you mean to add more lines in a commit message? No idea what should be written there. I did the same as I saw in

Re: use zsh and fish as login shell

2014-12-06 Thread Ludovic Courtès
宋文武 skribis: > My previous patches for bash/zsh did not put fish into consider. > It's not POSIX-compliant, I have to generate a different config file. > > Gentoo/Exherho create different files for differnt shells, eg: > /etc/profile.env for sh > /etc/profile.csh for csh It seems that /etc/p

Re: [PATCH] guix: scripts: Fix GUIX_BUILD_OPTIONS handling.

2014-12-06 Thread Ludovic Courtès
Deck Pickard skribis: > From 9c27d995e1a622de8457209d40031b392538e0f8 Mon Sep 17 00:00:00 2001 > From: nebuli > Date: Fri, 5 Dec 2014 01:28:12 +0100 > Subject: [PATCH] guix: scripts: Fix GUIX_BUILD_OPTIONS handling. > > Appending to "raw" args broke optional parameters in 'guix package -I' > and

Re: [PATCH] services: lsh: Add "graceful" handling of daemonic option.

2014-12-06 Thread Ludovic Courtès
Deck Pickard skribis: > From 1fef935d6292016c04b9234eedb5dcaf006dc152 Mon Sep 17 00:00:00 2001 > From: nebuli > Date: Wed, 3 Dec 2014 22:51:48 +0100 > Subject: [PATCH] services: lsh: Add graceful handling of daemonic option. > > * doc/guix.texi: Mention use case. > * gnu/services/ssh.scm (lsh-se

Re: [PATCH 2/2] gnu: fish: Use /etc as sysconfdir

2014-12-06 Thread Ludovic Courtès
宋文武 skribis: > From c013b47d1947b1d0f01ce95e2ed8ecf98c236b65 Mon Sep 17 00:00:00 2001 > From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= > Date: Sat, 6 Dec 2014 14:53:00 +0800 > Subject: [PATCH 2/2] gnu: fish: Use /etc as sysconfdir. > > * gnu/packages/fish.scm (fish) [arguments]: Add #:configure-f

Re: So... HOWTO gc systems?

2014-12-06 Thread Ludovic Courtès
Deck Pickard skribis: > Is it as simple as rm'ing system-N-link from /var/guix/profiles && 'guix > gc'...? Currently yes. The plan is to reuse --delete-generations and --list-generations from ‘guix package’ in ‘guix system’, which would be more convenient. > Recreating grub.cfg with 'system re

Re: [PATCH] gnu: tzdata: Upgrade to 2014j.

2014-12-06 Thread Ludovic Courtès
宋文武 skribis: > I thinks it's fine to push. Indeed, OK for master, with a commit log. Thanks, Ludo’.

Re: [PATCH] gnu: Add wmctrl.

2014-12-06 Thread Ludovic Courtès
Alex Kost skribis: > - I took the patch for fixing 64-bit bug from > > . > Should the header comment be changed? I think this one is OK. > - I tested it only on 32-bit machine so I don't really know how i

Re: Packaging Coq

2014-12-06 Thread Ludovic Courtès
Mark H Weaver skribis: > Sounds reasonable to me, although it should be 'build-targets' since > there is often more than one. Ditto for 'install-targets' and > 'check-targets' (or 'test-targets') if we don't already have them. I think it’s quite infrequent, so I would not bother. BTW, using #:

Re: none

2014-12-06 Thread Ludovic Courtès
Tomas Cech skribis: > At Fri, 05 Dec 2014 00:04:23 +0100, [...] >> > 1] if you set device to partition (and not to disk) in your >> > grub-configuration like this: >> > >> > (bootloader (grub-configuration >> >(device "/dev/sda4"))) >> >> Why would you want to use a partition

Re: [PATCH 1/2] gnu: fish: Update to 2.1.1

2014-12-06 Thread 宋文武
Andreas Enge writes: > On Sat, Dec 06, 2014 at 02:59:46PM +0800, 宋文武 wrote: >> This contains security fixes, according to: >> http://fishshell.com/release_notes.html >> -(version "2.1.0") >> +(version "2.1.1") >> -"0i7h3hx8iszli3d4kphw79sz9m07f2lc2c9hr9smdps5s7wpllmg")))

Re: [PATCH 1/2] gnu: fish: Update to 2.1.1

2014-12-06 Thread Andreas Enge
On Sat, Dec 06, 2014 at 02:59:46PM +0800, 宋文武 wrote: > This contains security fixes, according to: > http://fishshell.com/release_notes.html > -(version "2.1.0") > +(version "2.1.1") > -"0i7h3hx8iszli3d4kphw79sz9m07f2lc2c9hr9smdps5s7wpllmg" > +"096rhi91

use zsh and fish as login shell

2014-12-06 Thread 宋文武
My previous patches for bash/zsh did not put fish into consider. It's not POSIX-compliant, I have to generate a different config file. Gentoo/Exherho create different files for differnt shells, eg: /etc/profile.env for sh /etc/profile.csh for csh both comming from /etc/env.d. So, I could do s