Re: [PATCH] dejagnu(1) and shell scripts

2024-09-29 Thread Jacob Bachmeyer
Stefan wrote: Hi Jacob! the dejagnu(1) launcher now first walks the PATH returned by `getconf PATH` (and then the user's $PATH) for an "sh" in search of a POSIX shell. Does this also fix your problem? Kind of. The getconf tool is missing in Guix, not only during the bootstrapping I'm tr

Re: [PATCH] dejagnu(1) and shell scripts

2024-09-29 Thread Stefan
Hi Jacob! the dejagnu(1) launcher now first walks the PATH returned by `getconf PATH` (and then the user's $PATH) for an "sh" in search of a POSIX shell. Does this also fix your problem? Kind of. The getconf tool is missing in Guix, not only during the bootstrapping I'm trying. Actually