Add various tools

1 files changed, 10 insertions, 0 deletions

diff --git a/orig b/orig
new file mode 100755
index 0000000..df991ff
--- /dev/null
+++ b/orig
@@ -0,0 +1,10 @@
+#!/bin/rc
+ifs='
+'
+
+if(! test -d /n/sources/plan9){
+	rfork n
+	9fs sources
+}
+
+exec plumb /n/sources/plan9`{cleanname -d `{pwd} $1}