bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: /bin/sh should set SHELL to /bin/sh


From: Robert Elz
Subject: Re: /bin/sh should set SHELL to /bin/sh
Date: Sat, 15 Jul 2017 02:59:41 +0700

    Date:        Thu, 13 Jul 2017 23:02:49 -0400
    From:        Chet Ramey <address@hidden>
    Message-ID:  <address@hidden>

  | Posix, the closest thing we have to a standard description of SHELL, says:

It does, but POSIX doesn't say the shell is intended to set it.
That is, it defines its purpose, but leaves unstated where it comes from.

IMO, if SHELL gets unset (it is usually initialised by login, or its
equivalent), it should simply stay unset, and not be set to anything,
until some user (or script) decides to set it again.

kre




reply via email to

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