diff options
author | John Ankarström <john@ankarstrom.se> | 2021-07-18 12:47:23 +0200 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2021-07-18 12:47:23 +0200 |
commit | 830afa08f95e2026f97b62d22484c27d42c104b1 (patch) | |
tree | c823736f34f215bbec8e638cb5a8321827c71c87 | |
parent | 2af4ce763faae0c6f68b171b43e93101047d0c02 (diff) | |
download | patches-830afa08f95e2026f97b62d22484c27d42c104b1.tar.gz |
Add pkgundo script
-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 |