Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-08 Thread Brice Waegeneire
Hello, On 2020-04-07 09:35, Ludovic Courtès wrote: Brice Waegeneire skribis: On 2020-04-05 21:15, Ludovic Courtès wrote: guix-comm...@gnu.org skribis: Looking at this, I was wondering if it would be possible to not use /etc/modprobe.d and instead have a way to tell the modprobe wrapper to pa

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-08 Thread Brice Waegeneire
Hello Bengt, On 2020-04-06 09:29, Bengt Richter wrote: On +2020-04-06 07:54:47 +, Brice Waegeneire wrote: What's the issue with using /etc/modrpobe.d? I would think the fundamental issue is pure vs impure dependencies: i.e., /gnu/... vs /var/guix vs /elsewhere/... IIUC, the consequence o

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-07 Thread Ludovic Courtès
Hi, Brice Waegeneire skribis: > On 2020-04-05 21:15, Ludovic Courtès wrote: >> guix-comm...@gnu.org skribis: >>>#~(begin >>>(setenv "LINUX_MODULE_DIRECTORY" >>>"/run/booted-system/kernel/lib/modules") >>> +

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-06 Thread Bengt Richter
Hi Brice, Ludo, On +2020-04-06 07:54:47 +, Brice Waegeneire wrote: > Hello Ludo', > > On 2020-04-05 21:15, Ludovic Courtès wrote: > > guix-comm...@gnu.org skribis: > > >#~(begin > > >(setenv "LINUX_MODULE_DIRECTORY" > > > "/run/booted-system/kernel/

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-06 Thread Brice Waegeneire
Hello Ludo', On 2020-04-05 21:15, Ludovic Courtès wrote: guix-comm...@gnu.org skribis: #~(begin (setenv "LINUX_MODULE_DIRECTORY" "/run/booted-system/kernel/lib/modules") + ;; FIXME: Remove this crutch

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-05 Thread Ludovic Courtès
Hi Danny & Brice, Nice stuff! guix-comm...@gnu.org skribis: > --- a/gnu/services.scm > +++ b/gnu/services.scm > @@ -580,6 +580,10 @@ ACTIVATION-SCRIPT-TYPE." >#~(begin >(setenv "LINUX_MODULE_DIRECTORY" >"/run/booted-syst