#!/bin/sh

# pkgpatch -- patch but don't overwrite original files

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 "$@"