#!/bin/sh # pkgpatch -- patch, saving original files move() { 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 "$@"