this post was submitted on 13 Jun 2024
51 points (85.9% liked)

Linux

48655 readers
1119 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

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?

you are viewing a single comment's thread
view the rest of the comments
[–] SpaceNoodle 32 points 6 months ago (1 children)

You don't sound like you're comfortable with the command line.

[–] [email protected] -3 points 6 months ago (1 children)

Just checked my command history and I've run 60,000 commands on this computer without problem (and I have other computers). I guess people have different ideas of what "comfortable" means, but I think I consider myself comfortable with the command line.

I have shot myself in the foot with rm -rf in the past though, and screwed up my computer so bad the easiest solution was to reinstall the OS from scratch. My important files are backed up, including most of my dotfiles, but being a bit too quick to type and run a rm -rf command has caused me needless hours of work in the past.

I realized the main reason I have to use rm -rf is to remove git repos and so I thought I'd ask if anyone has a tip to avoid it. And I've found some good suggestions among the least upvoted comments.

[–] [email protected] 2 points 6 months ago

I'm the same as you! I recommend "trash-cli", then you can undo if you mess something up. You can even set an alias to echo "wrong command" if you use 'RM'.