Add various tools

1 files changed, 9 insertions, 0 deletions

diff --git a/out b/out
new file mode 100755
index 0000000..71fb5f0
--- /dev/null
+++ b/out
@@ -0,0 +1,9 @@
+#!/bin/rc
+if(~ $#* 0)
+	f=8.out
+if not
+	f=$1
+if(test -e $f)
+	exec window -cd `{pwd} rc -c 'plumber; exec '^$f
+echo error: $f does not exist >[1=2]
+exit 'file not found'