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 ./ --- out | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 out (limited to 'out') diff --git a/out b/out deleted file mode 100755 index 71fb5f0..0000000 --- a/out +++ /dev/null @@ -1,9 +0,0 @@ -#!/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' -- cgit v1.2.3