diff options
| author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2018-07-27 06:03:36 -0500 |
|---|---|---|
| committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2018-07-27 06:03:36 -0500 |
| commit | e1e55962cb264b3152989308176247219d8d0834 (patch) | |
| tree | 4a53e7c7002715d245ebfa74a9043d1ce86a5380 | |
| parent | e469fe959938db2e5239897a69a4c76fa626ed46 (diff) | |
| download | adelie-base-e1e55962cb264b3152989308176247219d8d0834.tar.gz adelie-base-e1e55962cb264b3152989308176247219d8d0834.tar.bz2 adelie-base-e1e55962cb264b3152989308176247219d8d0834.tar.xz adelie-base-e1e55962cb264b3152989308176247219d8d0834.zip | |
/etc/profile: allow mksh as /bin/sh
| -rw-r--r-- | tree/etc/profile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tree/etc/profile b/tree/etc/profile index ed401a6..f96461b 100644 --- a/tree/etc/profile +++ b/tree/etc/profile @@ -2,6 +2,12 @@ [ -x /usr/bin/less ] && export PAGER=${PAGER:-/usr/bin/less} +# Support for user/mksh as /bin/sh +if [ -z $UID -a -n $USER_ID ]; then + UID=$USER_ID +fi + + if [ $UID -eq 0 ]; then PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" PS1="$(uname -n 2>/dev/null) # " |