Werden Unix-Cache-Binärdateien verwendet?

Question

Dies ist eine Frage für mein Verständnis, ich glaube, dass * Nix-Systeme selten Neustart erforderlich. Wenn Sie eine neue "Anwendung" oder sogar Kernel 9/10 installiert haben, ist kein Neustart erforderlich.

ich vor kurzem eine Zufallskomponente (liquidsoap Abhängigkeit) I von der Quelle erforderlich: camlp4-4.03-1 und bemerkte folgende:

pi@raspberrypi:~ $ /usr/local/bin/camlp4 -v 
Camlp4 version 4.03.0 
pi@raspberrypi:~ $ camlp4 -v 
Camlp4 version 4.01.0 
pi@raspberrypi:~ $ which camlp4 
/usr/local/bin/camlp4 

Ich bin in Bezug auf den Versionskonflikt stapfe? für was scheint die gleiche Datei zu sein? Es gibt keine "camlp4" in dem vorliegenden Verzeichnis :)

HW: Raspberry Pi 3 
OS: Raspbian Jessie (up to date) 

---

Informationen Gewünscht am:

pi@raspberrypi:~ $ find/-name camlp4 
/usr/local/lib/ocaml/site-lib/camlp4 
/usr/local/lib/ocaml/camlp4 
/usr/local/bin/camlp4 
/usr/lib/ocaml/camlp4 
/usr/share/doc/camlp4 
/usr/bin/camlp4 
/home/pi/apps/camlp4 
/home/pi/apps/camlp4/camlp4-4.03-1/_build/camlp4 
/home/pi/apps/camlp4/camlp4-4.03-1/camlp4 
/home/pi/apps/ocamlfind/findlib-1.6.2/site-lib-src/camlp4 

pi@raspberrypi:~ $ type -a camlp4 
camlp4 is /usr/local/bin/camlp4 
camlp4 is /usr/bin/camlp4 

pi@raspberrypi:~ $ which camlp4 
/usr/local/bin/camlp4 
pi@raspberrypi:~ $ /usr/bin/camlp4 -v 
Camlp4 version 4.01.0 
pi@raspberrypi:~ $ echo $PATH 
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/local/games:/usr/games 

---

Testlösung zur Verfügung gestellt:

pi@raspberrypi:~ $ /usr/local/bin/camlp4 -v 
Camlp4 version 4.03.0 
pi@raspberrypi:~ $ camlp4 -v 
Camlp4 version 4.01.0 
pi@raspberrypi:~ $ which camlp4 
/usr/local/bin/camlp4 
pi@raspberrypi:~ $ hash -r 
pi@raspberrypi:~ $ camlp4 -v 
Camlp4 version 4.03.0 

Answer 1

meisten Schalen in der Tat Pflegen Sie einen Cache der zu startenden Binärdatei für ein gi ven Befehl, um zu vermeiden, die PATH jedes Mal zu suchen, und which weiß nicht über diesen Cache, die die Diskrepanz, die Sie beobachten, zu erklären. Die Art, den Cache zu aktualisieren, unterscheidet sich von einer Shell zu einer anderen. Für bash oder dash sollten Sie hash camlp4 tun. Für zsh ist dies rehash.