3 ms·

For posterity, `rmdir` will only remove empty directories. The author presumably should have used `rm -rf`.

• hacksonx 10y ago
  I think the command we're looking for is 'rm -R name_of_directory'
  • BestViewedInNC 10y ago
    At least in GNU rm, -R and -r are synonymous. -f suppresses all prompts ("remove write-protected file ...?"), so the parent is also correct :)
  • corney91 10y ago
    Need to use `-f` when dealing with git repositories unfortunately.
  • inopinatus 10y ago
    Honestly, the proper command is not rm at all, because you can then have an "oh shit I forgot something" moment. I have learned (the hard way) to retain even an horribly broken repo, but shove it out of the way. Because disk is cheap, repeating work is expensive. So that example should have been: cd .. mv fucking-git-repo-dir fucking-git-repo-dir.archived.$(date +%s) git clone https://some.github.url/fucking-git-repo-dir.git
    • falsedan 10y ago
      git fetch origin master && git reset --hard origin/master imo
• 0xmohit 10y ago
  Or maybe sudo rm -rf /some/path --no-preserve-root