ref: ebce8853d157e5006234d09cf052b8d509bbe13f
parent: 8eca9474c47d3898aa44e8e1879eda8a77fa6194
author: henesy <unknown>
date: Sun Nov 4 21:26:39 EST 2018
make profile start more useful things at login
--- a/lib/sh/profile
+++ b/lib/sh/profile
@@ -1,1 +1,8 @@
# emu sh initialisation here
+load std
+
+# Run the user's profile
+if {test -r /usr/inferno/lib/profile} {+ sh /usr/^`{cat /dev/user}^/lib/profile+}
+
--- a/usr/inferno/lib/profile
+++ b/usr/inferno/lib/profile
@@ -1,5 +1,7 @@
# Personal sh intialisation
+memfs
+
# Networking
ndb/cs
ndb/dns