Re: GuixSD tee-shirts and hoodies available

On 2015-04-09 10:29, Amirouche Boubekki wrote: I got hoodie, I hope it will warm me a little more than the one I wear right now :) Thanks for your support, Amirouche. 2015-04-09 13:42 GMT+02:00 Daniel Pimentel d...@openmailbox.org: On 2015-04-08 16:09, Luis Felipe López Acevedo wrote:

Ghc and profile creation bug

Hello, even after make distclean; ./configure; make install, I obtain the following with c833ab5 (and before): $ guix package -n -u Backtrace: In ice-9/boot-9.scm: 157: 18 [catch #t #catch-closure 1b09bc0 ...] In unknown file: ?: 17 [apply-smob/1

Re: [PATCH 6/9] gnu: gnome-desktop: Update to 3.16.0.

Andy Wingo wi...@pobox.com skribis: * gnu/packages/gnome.scm (gnome-desktop): Update to 3.16.0. Applied, thanks! Ludo’.

Re: GuixSD tee-shirts and hoodies available

On Wed, Apr 8, 2015 at 3:09 PM, Luis Felipe López Acevedo felipe.lo...@openmailbox.org wrote: Hi, I just created a GuixSD tee-shirt and hoodie in teespring: http://teespring.com/guixsd-for-the-libre-geek . For those who can afford it, I hope you enjoy it :) Awesome! I bought a t-shirt.

Re: [PATCH 5/9] gnu: Add geocode-glib.

Andy Wingo wi...@pobox.com skribis: * gnu/packages/gnome.scm (geocode-glib): New variable. Applied, thanks. Ludo’.

Re: Manage ssh public keys?

Joe Hillenbrand joehil...@gmail.com writes: Is there a way to manage users' ssh public keys via the operating-system configuration? Our user-account type in gnu/system/shadow.scm doesn't provide such a thing. Perhaps we could provide some generic facility for specifying per-user files.

Re: Manage ssh public keys?

On Thu, Apr 9, 2015 at 5:00 AM, Ludovic Courtès l...@gnu.org wrote: No (not yet?). I guess you mean the authorized keys, right? Yes It would be nice to have something like that, especially for automated deployment scenarios. That is specifically the scenario I am building for. I am also

Test failure in util-linux

Hi all, I am trying to guix system build a smallish configuration (most settings at their default values). I have installed guix on a freshly new i686 gNewSense 3.1 (which uses kernel 2.6.32). The system build fails during check phase of util-linux-2.25.2. I have dug a little on and found the

Re: GuixSD tee-shirts and hoodies available

On 2015-04-09 10:45, Thompson, David wrote: On Wed, Apr 8, 2015 at 3:09 PM, Luis Felipe López Acevedo felipe.lo...@openmailbox.org wrote: Hi, I just created a GuixSD tee-shirt and hoodie in teespring: http://teespring.com/guixsd-for-the-libre-geek . For those who can afford it, I hope you

Re: GuixSD tee-shirts and hoodies available

I got hoodie, I hope it will warm me a little more than the one I wear right now :) 2015-04-09 13:42 GMT+02:00 Daniel Pimentel d...@openmailbox.org: On 2015-04-08 16:09, Luis Felipe López Acevedo wrote: Hi, I just created a GuixSD tee-shirt and hoodie in teespring:

Re: Manage ssh public keys?

Joe Hillenbrand joehil...@gmail.com skribis: Is there a way to manage users' ssh public keys via the operating-system configuration? No (not yet?). I guess you mean the authorized keys, right? It would be nice to have something like that, especially for automated deployment scenarios. (For

Re: GuixSD tee-shirts and hoodies available

On 2015-04-08 16:09, Luis Felipe López Acevedo wrote: Hi, I just created a GuixSD tee-shirt and hoodie in teespring: http://teespring.com/guixsd-for-the-libre-geek . For those who can afford it, I hope you enjoy it :) Great work! -- Daniel Pimentel (d4n1)

Manage ssh public keys?

Is there a way to manage users' ssh public keys via the operating-system configuration?

Re: Manage ssh public keys?

Joe Hillenbrand joehil...@gmail.com skribis: On Thu, Apr 9, 2015 at 5:00 AM, Ludovic Courtès l...@gnu.org wrote: No (not yet?). I guess you mean the authorized keys, right? Yes It would be nice to have something like that, especially for automated deployment scenarios. That is