#!/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