[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 <chet.ramey@case.edu>
Message-ID: <102d254a-d321-20c0-b8d6-9f2257861f8f@case.edu>
| 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