- one more hack for recognizing shell type

Changed files:
    etc/profile -> 1.16

diff --git a/etc/profile b/etc/profile
index ae7d0155d4082f80c7f8f3e84615a6b071de9fed..3e9341246252dfb183d2cd3aecea7560746964d5 100644 (file)
--- a/etc/profile
+++ b/etc/profile
@@ -31,6 +31,7 @@ if [ "$TERM" = "" -o "$TERM" = "unknown" ]; then
 fi
 
 SH="${0#\-}"
+SH="${SH#/bin/}"
 if [ "$SH" = "sh" ]; then
        if [ -n "$KSH_VERSION" ]; then
                SH=ksh