On 2008 Sep 26, at 21:11, Devin Mullins wrote:
On Fri, Sep 26, 2008 at 06:04:54PM -0400, Gwern Branwen wrote:
A user's shell when invoked as /bin/sh throws away a lot of their customizations and addons; I wrote this patch for a user on #xmonad who was perplexed why some of his scripts and other shell things were simply Not Working.
Hrm, that makes sense. If you're used to some particular bash-only syntax, you might expect it to work inside spawn.
Traditional Unix behavior is that something spawned programmatically should use /bin/sh to get a consistent environment, while something spawned via user interaction should use the user's $SHELL. Quite possibly the core spawn should stay as is and the prompt one should use a new $SHELL-based spawn (note that this can be done as a wrapper around the existing spawn). -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH