Looking for Guix alternative to /lib/modules/$(uname -r)/build

2019-09-10 Thread Hebi Li
Hi Guix, I'm trying to compile and package a kernel module. Kernel modules require the kernel "build folder" with Makefile, Kconfig, etc, and compile with: make -C /lib/modules/$(uname -r)/build modules I'm looking for Guix alternative to the folder /lib/modules/$(uname -r)/build. The l

Re: Help with Learning Programming and LISP

2019-09-10 Thread Zelphir Kaltstahl
I would like to add "The Little Schemer" to the list of good books suggested here. Damn did I get a lot out of that little book. It starts at the very beginning, but accelerates quickly. I would say I got more out of SICP than The Little Schemer, but both are phenomenal books in my opinion. SICP h

Re: ./pre-inst-env guix build dangerous inside an environment?

2019-09-10 Thread Ricardo Wurmus
Hi Wiktor, > While developing my first package definition to be contributed to GNU > Guix, I followed 14.1 („Building from Git”) and 14.2 („Running > Guix Before It Is Installed”) of the manual. > > 14.1 suggests using a Guix environment via `guix environment guix`. I > thought it would be even

./pre-inst-env guix build dangerous inside an environment?

2019-09-10 Thread Wiktor Żelazny
While developing my first package definition to be contributed to GNU Guix, I followed 14.1 („Building from Git”) and 14.2 („Running Guix Before It Is Installed”) of the manual. 14.1 suggests using a Guix environment via `guix environment guix`. I thought it would be even better to do `guix enviro

Getting network-manager-openconnect to work

2019-09-10 Thread pelzflorian (Florian Pelz)
On Tue, Sep 10, 2019 at 11:57:11AM +0200, Divan Santana wrote: > Hi Guix, > > I'm glad openconnect and network-manager-openconnect are now in Guix! > > It would be nice to get it to work via network-manager, though I suppose > it's not essential. > > Using openconnect directly works for me. > >

vagrant

2019-09-10 Thread Divan Santana
Hi Guix, One of the last packages I miss and would like on my Guix system would be vagrant. I use it for work for testing infra as code. Anyone else got a way to get it working? I'm surprised it's not yet packaged for Guix. Greetings :) -- Divan

Getting network-manager-openconnect to work

2019-09-10 Thread Divan Santana
Hi Guix, I'm glad openconnect and network-manager-openconnect are now in Guix! It would be nice to get it to work via network-manager, though I suppose it's not essential. Using openconnect directly works for me. $ sudo openconnect vpn.somewhere.com Trying to get it work via network-manager gi