[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells |
Date: |
Thu, 13 Feb 2014 14:12:55 +0100 |
User-agent: |
Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux) |
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’.
- [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, Mark H Weaver, 2014/02/13
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, John Darrington, 2014/02/13
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, Mark H Weaver, 2014/02/13
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, John Darrington, 2014/02/13
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells,
Ludovic Courtès <=
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, Mark H Weaver, 2014/02/13
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, Ludovic Courtès, 2014/02/14
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, John Darrington, 2014/02/14
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, Alex Sassmannshausen, 2014/02/14
- Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells, Ludovic Courtès, 2014/02/14