Git repos have lots of write protected files in the .git
directory, sometimes hundreds, and the default rm my_project_managed_by_git
will prompt before deleting each write protected file. So, to actually delete my project I have to do rm -rf my_project_managed_by_git
.
Using rm -rf
scares me. Is there a reasonable way to delete git repos without it?
Maybe use a graphical file manager?
Or move the folder to /tmp or so.
That’s a good suggestion for some, but I’m quite comfortable with the command line.
It’s not that I’m irrationally scared of
rm -rf
. I know what that command will do. If I slow down an pay attention it’s not as though I’m worried “I hope this doesn’t break my system”.What I really mean is I see myself becoming quite comfortable typing
rm -rf
and running it with little thought, I use it often to delete git repos, and my frequent use and level of comfort with this command doesn’t match the level of danger it brings.Just moving them to
/tmp
is a nice suggestion that can work on anywhere without special programs or scripts.You don’t sound like you’re comfortable with the command line.