2017年6月6日火曜日

bash history を使いやすく。ctrl-r の改善ツール



ちょっと試せていませんが、こういうツールがあるようですよ。
頁をみるだけならただなので、どうぞ。