$ cd /home/user/De |
などと打ってから,Tabキーを押して
$ cd /home/user/Desktop |
とファイル名を補完して移動すると,入力する手間を省ける上に打ち間違えも防げるので便利であるが,大文字のDを打たなければいけないのが若干面倒臭い.
小文字で
$ cd /home/user/de |
と打っても,補完候補にDesktopが含まれると更に利便性が上がると以前から思っていたが,調べてみると非常に簡単にできた.
ホームディレクトリに .inputrc というファイルを作って
set completion-ignore-case on |
と書き込むだけで良い.
全てコマンドで行うならば,
$ cat > .inputrc set completion-ignore-case on ここでC-dを押す |
といったところだろう.
Shiftキーを押す回数が圧倒的に減るので,より操作が速くなることが期待できる.
0 件のコメント:
コメントを投稿