parent
4aba741117
commit
b640460f32
@ -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