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 /pkgundo | |
parent | 4ad8ed80a6e8969fd8a2af4ef7e29929126aeaad (diff) | |
download | patches-09c0720ee7f4d949f3f779bb26ccb60faad56cd5.tar.gz |
Move patch utilities to bin/
Diffstat (limited to 'pkgundo')
-rwxr-xr-x | pkgundo | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/pkgundo b/pkgundo deleted file mode 100755 index 9f3ad25..0000000 --- a/pkgundo +++ /dev/null @@ -1,12 +0,0 @@ -#!/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 |