From d325d2226cf55b63037dc62cefb7fa952d770d50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= <john@ankarstrom.se>
Date: Sun, 31 Jan 2021 14:14:05 +0000
Subject: Bind $home/bin/rc to rc/ instead of ./

---
 orig | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 orig

(limited to 'orig')

diff --git a/orig b/orig
deleted file mode 100755
index df991ff..0000000
--- a/orig
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/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