diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2018-12-11 14:08:07 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2018-12-11 14:08:07 +1300 |
commit | e21b52c1f133f5c1f59f88a1bc266101577da6b3 (patch) | |
tree | 9357c1db0705a0b38b2524e709b7877b252cd47c /sh | |
parent | Refactor "path list" not to require a subshell (diff) | |
download | dotfiles-e21b52c1f133f5c1f59f88a1bc266101577da6b3.tar.gz dotfiles-e21b52c1f133f5c1f59f88a1bc266101577da6b3.zip |
Factor out zsh ENV hack into one file
It's a bit silly to have this in ~/.profile; it doesn't need to be there
for such a niche case.
Diffstat (limited to 'sh')
-rw-r--r-- | sh/profile | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -13,11 +13,3 @@ 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 |