From d325d2226cf55b63037dc62cefb7fa952d770d50 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sun, 31 Jan 2021 14:14:05 +0000 Subject: Bind $home/bin/rc to rc/ instead of ./ --- rc/draw | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 rc/draw (limited to 'rc/draw') diff --git a/rc/draw b/rc/draw new file mode 100755 index 0000000..f450741 --- /dev/null +++ b/rc/draw @@ -0,0 +1,22 @@ +#!/bin/rc + +# draw -- run program in window system's namespace + +if(~ $wsys ''){ + echo $0: '$wsys' not defined >[1=2] + exit 'wsys not defined' +} + +flagfmt='a args' +args='command ...' +if(! ifs=() eval `{aux/getflags $*}){ + aux/usage + exit usage +} + +rfork n +unmount /mnt/acme /dev >[2]/dev/null +unmount $wsys /dev >[2]/dev/null +mount $wsys /mnt/wsys 'new '$flaga +bind -b /mnt/wsys /dev +exec $* -- cgit v1.2.3