shithub: bin.rc

Download patch

ref: c57c8ab75d68d973e7b032792c6b729efcc13a93
parent: 49c1ea83f5e42094b933e462eee157063a0ae690
author: kvik <[email protected]>
date: Sat Feb 22 09:07:08 EST 2020

Add -e option to local(1) for changing the plumber environment

--- a/bin/local
+++ b/bin/local
@@ -8,6 +8,12 @@
 		. $ws/mounts
 		plumb 'Local . '$ws'/mounts'
 		exit
+	case -e
+		shift
+		var=$1
+		shift
+		plumb 'Local echo -n '$"*' >/env/'$var
+		exit
 	}
 	shift
 }