Simon Zimmermann

2009-12-23

Rm Interactively

Was removing some files in home directory. Accidentally did this # rm <file> , when I wanted to do # rm <file>. It’s an easy mistake to do, so I added two options to my .bashrc file, to prevent further mishappens.

alias rm="rm -i"
alias mv="mv -i"

robotics github