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?

  • flux@lemmy.ml
    link
    fedilink
    arrow-up
    5
    ·
    15 days ago

    You should have backups. Preferably also snapshots. Then rm will feel less scary.