From d325d2226cf55b63037dc62cefb7fa952d770d50 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sun, 31 Jan 2021 14:14:05 +0000 Subject: Bind $home/bin/rc to rc/ instead of ./ --- rc/orig | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 rc/orig (limited to 'rc/orig') diff --git a/rc/orig b/rc/orig new file mode 100755 index 0000000..df991ff --- /dev/null +++ b/rc/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