Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells

[Ludovic Courtès]

Mark H Weaver <address@hidden> 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’.