parent
067ccdee16
commit
641734cf24
@ -0,0 +1,18 @@
|
||||
diff --git a/init/profile.sh.in b/init/profile.sh.in
|
||||
index faa468639..64d21dbcd 100644
|
||||
--- a/init/profile.sh.in
|
||||
+++ b/init/profile.sh.in
|
||||
@@ -3,7 +3,11 @@
|
||||
# get current shell name by querying shell variables or looking at parent
|
||||
# process name
|
||||
if [ -n "${BASH:-}" ]; then
|
||||
- shell=${BASH##*/}
|
||||
+ if [ "${BASH##*/}" = 'sh' ]; then
|
||||
+ shell='sh'
|
||||
+ else
|
||||
+ shell='bash'
|
||||
+ fi
|
||||
elif [ -n "${ZSH_NAME:-}" ]; then
|
||||
shell=$ZSH_NAME
|
||||
else
|
||||
|
Loading…
Reference in new issue