From 0d79eeb3ab41cf49310ec53e6cf55ccbfe2f7e31 Mon Sep 17 00:00:00 2001
From: Tom Ryder <tom@sanctum.geek.nz>
Date: Fri, 30 Dec 2016 22:31:30 +1300
Subject: Fix a zsh-as-sh/ksh-specific issue

Very niche, but interesting to fix anyway
---
 sh/profile | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'sh')

diff --git a/sh/profile b/sh/profile
index 5d9c80bf..dc145d85 100644
--- a/sh/profile
+++ b/sh/profile
@@ -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
-- 
cgit v1.2.3