readlineの設定ファイルである$HOME/.inputrc
をうまく設定するとコマンドラインでの生活が豊かになる。
けど何故かあまり情報が多くなく、バインドの設定を変更するとき少し困った。
少しの設定だけど少し便利になったので公開してみる。
ポイントは$if Bash
など、分岐が可能なところ。他にも$if Mysql
とかできるみたい。
おすすめ
zshだとキーバインドも簡単に設定できるみたいだけど、bashだとそうもいかない。
1
|
|
なんかは便利だと思う。
それにしたって、BashやZshのモダンな設定とかはあるのに、2013現在のモダンなinputrcの設定や拡張が現れないのはなんでだろう。みんなZshいじってるからそれで満足なのかな。