diff options
author | John Ankarström <john@ankarstrom.se> | 2021-07-26 19:32:37 +0200 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2021-07-26 19:32:37 +0200 |
commit | 09c0720ee7f4d949f3f779bb26ccb60faad56cd5 (patch) | |
tree | 30fc911ffc70a78454002e969f31e9b95050b695 /bin/pkgundo | |
parent | 4ad8ed80a6e8969fd8a2af4ef7e29929126aeaad (diff) | |
download | patches-09c0720ee7f4d949f3f779bb26ccb60faad56cd5.tar.gz |
Move patch utilities to bin/
Diffstat (limited to 'bin/pkgundo')
-rwxr-xr-x | bin/pkgundo | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/bin/pkgundo b/bin/pkgundo new file mode 100755 index 0000000..9f3ad25 --- /dev/null +++ b/bin/pkgundo @@ -0,0 +1,12 @@ +#!/bin/sh + +# pkgundo -- restore original files + +[ $# -eq 0 ] && { echo "usage: ${0##*/} orig ..." 2>&1; exit 1; } + +n= +for orig in "$@"; do + : $((n++)) + mv "$orig" "${orig%.orig}" +done +echo "${0##*/}: moved $n files" 2>&1 |