diff --git a/scripts/newrm b/scripts/newrm index 32ed6750..c29a2836 100755 --- a/scripts/newrm +++ b/scripts/newrm @@ -34,11 +34,6 @@ shift $(( $OPTIND - 1 )) # BEGIN MAIN SCRIPT # ================= -if [ -d .git ] ; then - git rm "$@" - exit 0 -fi - if [ ! -d $archivedir ] ; then if [ ! -w $HOME ] ; then echo "$0 failed: can't create $archivedir in $HOME " >&2 @@ -48,6 +43,16 @@ if [ ! -d $archivedir ] ; then chmod 700 $archivedir # A little bit of privacy, please fi +if [ -d .git ] ; then + for arg + do + newname="$archivedir/$(date "+%S.%M.%H.%m").$(basename "$arg")" + $copy "$arg" "$newname" + done + git rm "$@" + exit 0 +fi + for arg do newname="$archivedir/$(date "+%S.%M.%H.%m").$(basename "$arg")"