zshがPATHエントリの順序を無視するのはなぜですか？

Question

私はここで非常に基本的なセットアップパターンを使用しようとしています：私は、特定のツール（ocamlcの2つの異なるインストールがありますが、それは本当に問題ではありません）。 1つのツールを選択するために、エントリを前置することによってPATH変数をオーバーライドしようとします。

% ocamlc -v   
The OCaml compiler, version 4.02.3 
Standard library directory: /home/choeger/.opam/4.02.3/lib/ocaml 

（一つは、ライブラリディレクトリがそのインストールにハードコードされているので、それは2番目のエントリを使用していることがわかります）

はバッシュの動作：

% where ocamlc  
/home/choeger/ueb/uebb/amsun-integration/Runtime/test_src/../../opam/4.02.3/bin/ocamlc 
/home/choeger/.opam/4.02.3/bin/ocamlc 
/usr/bin/ocamlc 

しかし、zshのは、古いエントリを使用しています

% bash -c "ocamlc -v" 
The OCaml compiler, version 4.02.3 
Standard library directory: /home/choeger/ueb/uebb/amsun-integration/opam/4.02.3/lib/ocaml 

なぜ、zshは最初のPATHエントリを無視しますか？ tはそれをwhereの最初の要素として列挙しますか？

編集：

% type -a ocamlc 
ocamlc is /home/choeger/ueb/uebb/amsun-integration/tests/pendulum/../../opam/4.02.3/bin/ocamlc 
ocamlc is /home/choeger/.opam/4.02.3/bin/ocamlc 
ocamlc is /usr/bin/ocamlc 
% ocamlc -v 
The OCaml compiler, version 4.02.3 
Standard library directory: /home/choeger/.opam/4.02.3/lib/ocaml 
% /home/choeger/ueb/uebb/amsun-integration/tests/pendulum/../../opam/4.02.3/bin/ocamlc -v 
The OCaml compiler, version 4.02.3 
Standard library directory: /home/choeger/ueb/uebb/amsun-integration/opam/4.02.3/lib/ocaml 

EDIT2：

% setopt 
autocd 
autopushd 
nobeep 
completeinword 
correct 
extendedglob 
extendedhistory 
histignorealldups 
histignorespace 
nohup 
interactive 
interactivecomments 
longlistjobs 
monitor 
nonomatch 
pushdignoredups 
shinstdin 
zle 
% 

コンフィグがある：ここでは はSETOPT出力で同じバイナリを起動していないことのzshを検証するために は、ここに別の実行でありますgrml configにはhereと.localファイルにいくつかのパス変数があります。

Answer 1

zshはPATHエントリをスキップしません。ただし、エイリアス機能とシェル機能の優先順位はあります。これはあなたのケースには当てはまりません。あなたがそれらのものを持っていたら、whereもこれをリストしています。あなたのケースでは

、もしwhereとocamlcコマンドは、同じシェルで実行されており、そのためには、あなたはocamlcが/home/choeger/ueb/uebb/amsun-integration/Runtime/test_src/../../opam/4.02.3/bin/ocamlcを実行することをかなり確信することができます。この絶対パスでOcamを明示的に実行しようとしましたか？私はあなたが同じ出力を得るだろうと確信しています。

BTW、type -aは、一般に、whereよりも少し詳細な情報を提供します。

Answer 2

デフォルトでは、zshはコマンドが実行されたときに最初にハッシュされます。 2回目に実行すると、ハッシュされたパスが使用されます。ハッシュテーブルは、実行リフレッシュするには

rehash 

または

hash -r 

これは自動的にあなたがPATH変更して新しい実行ファイルはPATHですでにディレクトリに追加されたときに、その主な用途は、あるたびに起こるはず。

---

注：以下は、特定のユースケースのためにやり過ぎかもしれません。しかし、それはまた、問題を解決し、少し異なるユースケースのために興味があるかもしれません。それはないだろう、まだハッシュテーブルを使用することになります

setopt nohashcmds 

zshながら：あなたは（おそらく無視できる）パフォーマンスヒットを気にしない場合は

、あなたはHASH_CMDSオプションを無効にすることで、コマンドのハッシュを無効にすることができますすべてのコマンドを自動的に追加します。したがって、コマンドが他の手段によってハッシュテーブルに入力されない限り、zshは毎回コマンドのためにPATHをチェックします。

これは、オプションCORRECTが設定されている場合でも問題を引き起こす可能性があります。これは、スペル訂正を提供するためにハッシュテーブルを設定するので、PATHが変更されたときに必ず更新する必要はありません。テーブルを自動的にリフレッシュするには、プロンプトが表示される前に毎回実行されるprecmdフックを使用します。

autoload -Uz add-zsh-hook 
auto_rehash() { 
    rehash 
} 
add-zsh-hook precmd auto_rehash