3 ms·

Ah yes, the classic `rm --undo` saved me so many times. No, command-line interfaces rarely offer undo. The onus is on the user to not do irreversible things whe

by toxik 4y ago

Ah yes, the classic `rm --undo` saved me so many times. No, command-line interfaces rarely offer undo. The onus is on the user to not do irreversible things when they may need to be reversed. Git, coincidentally, does have something equivalent to undo history: the reflog.

ogogmad 4y ago
"rm" was made in the '70s. Git was made in the '00s.
- toxik 4y ago
  Nothing prevents rm from being made to “put in trash bin” in the year 2022. Your argument seems weak. rm removes. mv moves. If you want mv, use mv.
amelius 4y ago
Nobody said that rm was perfect ;)