From e1e55962cb264b3152989308176247219d8d0834 Mon Sep 17 00:00:00 2001
From: "A. Wilcox" <AWilcox@Wilcox-Tech.com>
Date: Fri, 27 Jul 2018 06:03:36 -0500
Subject: /etc/profile: allow mksh as /bin/sh

---
 tree/etc/profile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tree/etc/profile b/tree/etc/profile
index ed401a6..f96461b 100644
--- a/tree/etc/profile
+++ b/tree/etc/profile
@@ -2,6 +2,12 @@
 [ -x /usr/bin/less ] && export PAGER=${PAGER:-/usr/bin/less}
 
 
+# Support for user/mksh as /bin/sh
+if [ -z $UID -a -n $USER_ID ]; then
+  UID=$USER_ID
+fi
+
+
 if [ $UID -eq 0 ]; then
   PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
   PS1="$(uname -n 2>/dev/null) # "
-- 
cgit v1.2.3-60-g2f50