tomit4/notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

♻️ Created better implementation of git rm

Browse source
This commit is contained in:
z3rOR0ne 2022-07-20 08:44:33 -07:00
parent 94c9140576
commit ea6756b1ee
1 changed files with 10 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

15
scripts/newrm
View file

@ -34,11 +34,6 @@ shift $(( $OPTIND - 1 ))
# BEGIN MAIN SCRIPT # BEGIN MAIN SCRIPT
# ================= # =================
if [ -d .git ] ; then
git rm "$@"
exit 0
fi
if [ ! -d $archivedir ] ; then if [ ! -d $archivedir ] ; then
if [ ! -w $HOME ] ; then if [ ! -w $HOME ] ; then
echo "$0 failed: can't create $archivedir in $HOME " >&2 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 chmod 700 $archivedir # A little bit of privacy, please
fi 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 for arg
do do
newname="$archivedir/$(date "+%S.%M.%H.%m").$(basename "$arg")" newname="$archivedir/$(date "+%S.%M.%H.%m").$(basename "$arg")"