Mark H Weaver <[email protected]> skribis:
> IMO, it's not reasonable to have to add
> /home/<USER>/<PROFILE>/bin/<SHELL> for every combination of <USER>,
> <PROFILE>, and <SHELL> to /etc/shells, in order to prevent 'xterm' from
> overriding your $SHELL setting.
On NixOS, /etc/shells contains this:
--8<---------------cut here---------------start------------->8---
/run/current-system/sw/bin/bash
/var/run/current-system/sw/bin/bash
/bin/sh
--8<---------------cut here---------------end--------------->8---
Where {/var/,}/run/current-system contains the “global” profile, like on
our QEMU images.
Perhaps that’s good enough no?
(As I see it, the stand-alone GNU system will have /bin/sh (as a
symlink) and /run/current-system too.)
Ludo’.
