Tips に bash で補完機能を使う方法を追記