7 ms·
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 muc
by sever 16y 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_acd.htm
http://geocities.com/h2428/petar/bash_hist.htm http://geocities.com/h2428/petar/bash_hist.htm
highly recommended.