From f3fd330cddade1c66d0f101d5cc6f657c4cd1bb6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Thu, 28 Jan 2021 21:32:18 +0000 Subject: Add various tools --- draw | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 draw (limited to 'draw') diff --git a/draw b/draw new file mode 100755 index 0000000..f450741 --- /dev/null +++ b/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