diff options
Diffstat (limited to 'bin/newins')
-rwxr-xr-x | bin/newins | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/newins b/bin/newins index 7735fc33c..f235835a2 100755 --- a/bin/newins +++ b/bin/newins @@ -8,6 +8,11 @@ if [[ -z ${T} ]] || [[ -z ${2} ]] ; then exit 1 fi +if [ ! -e "$1" ] ; then + echo "!!! ${0##*/}: $1 does not exist" 1>&2 + exit 1 +fi + rm -rf "${T}/${2}" || exit $? cp -f "${1}" "${T}/${2}" || exit $? doins "${T}/${2}" |