parent
b640460f32
commit
8caf8dd705
@ -1 +1 @@
|
||||
57f66c1ccbcf10e6b583421ddc591db2663b3a18 SOURCES/modules-5.0.1.tar.bz2
|
||||
cb1def0bb726097edb5d077d59cf9272380243db SOURCES/modules-5.3.0.tar.bz2
|
||||
|
@ -1 +1 @@
|
||||
SOURCES/modules-5.0.1.tar.bz2
|
||||
SOURCES/modules-5.3.0.tar.bz2
|
||||
|
@ -1,18 +0,0 @@
|
||||
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