From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH] gnu: xterm: Accept $SHELL even if not in /etc/shells Date: Thu, 13 Feb 2014 14:12:55 +0100 Message-ID: <871tz7p354.fsf@gnu.org> References: <87zjlvh276.fsf@netris.org> <20140213080720.GA28268@jocasta.intra> <87txc3h005.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52533) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WDw6B-0000aB-Cy for guix-devel@gnu.org; Thu, 13 Feb 2014 08:13:09 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WDw65-0005nY-8V for guix-devel@gnu.org; Thu, 13 Feb 2014 08:13:03 -0500 Received: from hera.aquilenet.fr ([141.255.128.1]:38086) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WDw65-0005ms-1w for guix-devel@gnu.org; Thu, 13 Feb 2014 08:12:57 -0500 In-Reply-To: <87txc3h005.fsf@netris.org> (Mark H. Weaver's message of "Thu, 13 Feb 2014 03:47:54 -0500") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Mark H Weaver Cc: guix-devel@gnu.org Mark H Weaver skribis: > IMO, it's not reasonable to have to add > /home///bin/ for every combination of , > , and 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 =E2=80=9Cglobal=E2=80=9D pro= file, like on our QEMU images. Perhaps that=E2=80=99s 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=E2=80=99.