diff options
author | Ori Bernstein <ori@eigenstate.org> | 2022-05-22 17:27:31 +0000 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2022-05-22 17:27:31 +0000 |
commit | a59e61a6a4e11e0256da0d209afa38ccacd460a2 (patch) | |
tree | 549dfadf95e33c523a8d097e000e687f496e2686 /rc/bin/patch/remove | |
parent | 23f8872bc10fbe9ffd2b0067db1f91d8eaaabb40 (diff) |
patch(1): remove bell labs patch scripts
bell labs is dead, and nobody is listening; 9front
has our own patch submission proces.
Diffstat (limited to 'rc/bin/patch/remove')
-rwxr-xr-x | rc/bin/patch/remove | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/rc/bin/patch/remove b/rc/bin/patch/remove deleted file mode 100755 index 94a91f8f0..000000000 --- a/rc/bin/patch/remove +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/rc - -rfork e -if(~ $#* 0){ - echo 'usage: patch/remove patch-name...' >[1=2] - exit usage -} - -if(! test -d /n/sources/patch){ - rfork n - 9fs sources -} - -for(i){ - if(! test -d /n/sources/patch/$i) - echo 'no such patch' /n/sources/patch/$i >[1=2] - if not - rm -rf /n/sources/patch/$i -} |