From e21b52c1f133f5c1f59f88a1bc266101577da6b3 Mon Sep 17 00:00:00 2001 From: Tom Ryder Date: Tue, 11 Dec 2018 14:08:07 +1300 Subject: 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. --- sh/profile | 8 -------- 1 file changed, 8 deletions(-) (limited to 'sh') diff --git a/sh/profile b/sh/profile index 68e803ca..544ee640 100644 --- a/sh/profile +++ b/sh/profile @@ -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 -- cgit v1.2.3