From 830afa08f95e2026f97b62d22484c27d42c104b1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sun, 18 Jul 2021 12:47:23 +0200 Subject: Add pkgundo script --- pkgpatch | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) (limited to 'pkgpatch') diff --git a/pkgpatch b/pkgpatch index 8d68c20..17af25c 100755 --- a/pkgpatch +++ b/pkgpatch @@ -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 -- cgit v1.2.3