✨ Newrm now also removes files in git repo
This commit is contained in:
parent
e84d757af4
commit
8dd57ff0a0
1 changed files with 5 additions and 0 deletions
|
|
@ -34,6 +34,11 @@ 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
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue