Hacker News new | ask | show | jobs
by sever 5592 days ago
I use the following scripts, both by Petar Marinov, they've saved me an enormous amount of keystrokes. One replaces CTRL-R history search, the other makes a much friendlier replacement for pushd and popd.

http://geocities.com/h2428/petar/bash_acd.htm

http://geocities.com/h2428/petar/bash_hist.htm

highly recommended.