guix-devel
[Top][All Lists]
Advanced

[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’.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]