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/undo | |
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/undo')
-rwxr-xr-x | rc/bin/patch/undo | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/rc/bin/patch/undo b/rc/bin/patch/undo deleted file mode 100755 index 701f17b1c..000000000 --- a/rc/bin/patch/undo +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/rc - -rfork e -if(! ~ $#* 1){ - echo 'usage: patch/undo patch-name' >[1=2] - exit usage -} - -if(! test -d /n/sources/patch){ - rfork n - 9fs sources -} - -if(! test -d /n/sources/patch/$1){ - echo 'no such patch' /n/sources/patch/$1 >[1=2] - exit nopatch -} - -d=$1 -builtin cd /n/sources/patch/$1 || exit nopatch -if(! patch/okay .){ - echo 'bad patch: '$status >[1=2] - exit badpatch -} - -fn xxx { - if(cmp $2.new $1){ - echo cp /n/sources/patch/$d/$2.backup $1 - cp $2.backup $1 - } - if not - echo $1 has changed since patch was applied! >[1=2] -} -cat files | sed 's/^/xxx /' |rc - |