diff options
-rw-r--r-- | Makefile | 2 | ||||
-rwxr-xr-x | conv | 1 | ||||
-rwxr-xr-x | pkgpatch | 18 | ||||
-rwxr-xr-x | pkgundo | 12 |
4 files changed, 24 insertions, 9 deletions
@@ -1,2 +1,2 @@ install: - install conv pkgdiffs pkgpatch undopatch /usr/local/bin + install conv pkgdiffs pkgpatch pkgundo undopatch /usr/local/bin @@ -2,6 +2,7 @@ # conv -- convert git diff -p output to pkgsrc patch +set -f IFS=' ' @@ -2,12 +2,14 @@ # pkgpatch -- patch but don't overwrite original files -for orig in *.orig; do - mv -i "$orig" "${orig%.orig}".~1~ -done - +move() +{ + echo "${0##*/}: Renaming *.$1 to *.$2..." 1>&2 + for orig in *.$1; do + mv -i "$orig" "${orig%.$1}".$2 + done +} + +move orig ~1~ +trap 'move ~1~ orig; trap -' INT QUIT TERM EXIT patch -Vt -F3 "$@" - -for orig in *.~1~; do - mv -i "$orig" "${orig%.~1~}".orig -done @@ -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 |