Hacker News new | ask | show | jobs
Undo - undo shell commands (github.com)
3 points by clvv 5097 days ago