1 files changed, 19 insertions, 0 deletions
diff --git a/rc/bin/patch/remove b/rc/bin/patch/remove
new file mode 100755
index 000000000..94a91f8f0
--- /dev/null
+++ b/rc/bin/patch/remove
@@ -0,0 +1,19 @@
+#!/bin/rc
+
+rfork e
+if(~ $#* 0){
+	echo 'usage: patch/remove patch-name...' >[1=2]
+	exit usage
+}
+
+if(! test -d /n/sources/patch){
+	rfork n
+	9fs sources
+}
+
+for(i){
+	if(! test -d /n/sources/patch/$i)
+		echo 'no such patch' /n/sources/patch/$i >[1=2]
+	if not
+		rm -rf /n/sources/patch/$i
+}