aboutsummaryrefslogtreecommitdiff
path: root/sh/profile
diff options
context:
space:
mode:
Diffstat (limited to 'sh/profile')
-rw-r--r--sh/profile8
1 files changed, 0 insertions, 8 deletions
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