.inputrcの便利設定 - About Digitalreadlineの設定ファイルである$HOME/.inputrcをうまく設定するとコマンドラインでの生活が豊かになる。 けど何故かあまり情報が多くなく、バインドの設定を変更するとき少し困った。 少しの設定だけど少し便利になったので公開してみる。 ポイントは$if Bashなど、分岐が可能なところ。他にも$if Mysqlとかできるみたい。 おすすめ zshだとキーバインドも簡単に設定できるみたいだけど、bashだとそうもいかない。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
