diff options
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 |