ディレクトリを変更するための bash ワイルドカードはありますか?

ディレクトリを変更するための bash ワイルドカードはありますか?

Bash コマンドラインを使用する場合、たとえば、次の方法でディレクトリに変更できます...

cd /volumes

しかし、私は入力したいのですが...

cd /vol*

しかし、それは機能しません。ワイルドカードを使用してディレクトリを移動する方法はありますか?

答え1

Mac OSはデフォルトで大文字と小文字を区別しないファイルシステムを使用します。cd /volumesは と同等ですcd /Volumesが、bashはvol*:をグロブできません。cd /Vol*

答え2

@William Pursell が言ったように、これはフォルダーの名前が /volumes であり、/volumes ではないためです。OS X ファイルシステムは大文字と小文字を区別しないため、違いは無視されますが、bash は大文字と小文字を区別するため、違いが無視されます。

ただし、bash のデフォルトの動作は変更できます。ファイル パターンの大文字と小文字を区別せずに拡張するには、コマンドをshopt -s nocaseglob~/.bashrc ファイルと ~/.bash_profile ファイルに追加します (両方に必要なので、オプションはログイン シェルとサブシェルの両方で設定されます)。大文字と小文字が一致しない場合でもファイル名の補完が機能するようにするには、set completion-ignore-case on~/.inputrc ファイルに追加するか、~/.bashrc ファイルと ~/.bash_profile ファイルに追加しますbind "set completion-ignore-case on"

答え3

タイピング:

cd /vol*

作品大丈夫/vol*複数のディレクトリに展開する場合でも、bash最初のディレクトリが使用され、残りは無視されます。具体的に何が機能していないのでしょうか?

関連情報