From d325d2226cf55b63037dc62cefb7fa952d770d50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= <john@ankarstrom.se>
Date: Sun, 31 Jan 2021 14:14:05 +0000
Subject: Bind $home/bin/rc to rc/ instead of ./

---
 draw | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100755 draw

(limited to 'draw')

diff --git a/draw b/draw
deleted file mode 100755
index f450741..0000000
--- a/draw
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/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