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 --- orig | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 orig (limited to 'orig') 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} -- cgit v1.2.3