diff options
Diffstat (limited to 'sh/profile.d')
-rw-r--r-- | sh/profile.d/env.sh | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/sh/profile.d/env.sh b/sh/profile.d/env.sh index ba8e7f49..f1b83919 100644 --- a/sh/profile.d/env.sh +++ b/sh/profile.d/env.sh @@ -1,8 +1,10 @@ -# If we're running some kind of ksh, export ENV to find ~/.kshrc. Bash differs -# considerably from this behaviour; it uses ENV as its startup file when it's -# invoked as sh(1), and uses .bashrc or --rcfile as its interactive startup -# file, so it doesn't need to be specified here. -if [ -n "$KSH_VERSION" ] ; then - ENV=$HOME/.kshrc +# If we're running some kind of ksh, export ENV to find a suitable startup +# file. Bash differs considerably from this behaviour; it uses ENV as its +# startup file when it's invoked as sh(1), and uses .bashrc or --rcfile as its +# interactive startup file, so it doesn't need to be specified here. +case $KSH_VERSION in + *'PD KSH '*) ENV=$HOME/.pdkshrc ;; +esac +if [ -n "$ENV" ] ; then export ENV fi |