diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2016-12-30 22:31:30 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2016-12-30 22:42:56 +1300 |
commit | 0d79eeb3ab41cf49310ec53e6cf55ccbfe2f7e31 (patch) | |
tree | 7d49a185ae556ee2a89818cab4d6d85747696875 /sh/profile | |
parent | Add environment variable (diff) | |
download | dotfiles-0d79eeb3ab41cf49310ec53e6cf55ccbfe2f7e31.tar.gz dotfiles-0d79eeb3ab41cf49310ec53e6cf55ccbfe2f7e31.zip |
Fix a zsh-as-sh/ksh-specific issue
Very niche, but interesting to fix anyway
Diffstat (limited to 'sh/profile')
-rw-r--r-- | sh/profile | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -12,3 +12,11 @@ if [ -f "$HOME"/.shinit ] ; then ENV=$HOME/.shinit export ENV fi + +# If ENV_FORCE is set and we're interactive, source ENV explicitly +# At the moment this is just for zsh-as-ksh/sh +if [ -n "$ENV_FORCE" ] ; then + case $- in *i*) + [ -f "$ENV" ] && . "$ENV" ;; + esac +fi |