Subject: [bug#37868] [PATCH v6] system: Add kernel-module-packages to operating-system.

From: Danny Milosavljevic <[email-masked]>
Date: Mon, 16 Mar 2020 21:31:12 +0100

Hi Ludo,

On Sun, 15 Mar 2020 22:00:04 +0100
Ludovic Courtès <[email-masked]> wrote:

> > +    (invoke (string-append kmod "/bin/depmod")  
> 
> Generally, for this kind of utility function, we assume that the tool is
> in $PATH, which allows us to avoid carrying its file name throughout the
> API.  I’d suggest doing the same here.

Hmm, does that mean I should also change PATH in the profile hook?