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
}