ref: fa9f4c5c6852ce467644f610e77504664cb86af4
parent: d21de87db1e6068d35f66da7411a98231c361a70
author: henesy <devnull@localhost>
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
--
⑨