유닉스 캐시 바이너리가 있습니까?

Question

이것은 제 이해를위한 질문입니다. * nix 시스템은 거의 재부팅 할 필요가 없다고 생각합니다. 즉 새로운 "응용 프로그램"또는 심지어 커널 9/10을 설치 한 경우 재부팅 할 필요가 없습니다. 다음 camlp4-4.03-1 및주의 :

내가 최근에 임의의 구성 요소 (liquidsoap 의존성) 나는 소스에서 필요한 설치

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 

나는 버전 불일치로 난처한 상황에 빠진 건가요? 같은 파일 인 것 같아요? 본 디렉토리 :

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

---

정보 요청 추가에는 "camlp4"없습니다 : 제공

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 

---

테스트 솔루션 : 실제로

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

대부분의 쉘은 gi를 위해 시작할 바이너리 캐시를 유지한다. ven 명령을 사용하면 매번 PATH을 통해 검색하는 것을 피할 수 있으며 which은이 캐시에 대해 알지 못하기 때문에 사용자가 관찰하는 불일치를 설명합니다. 캐시를 새로 고치는 방법은 쉘마다 다릅니다. bash 또는 dash의 경우 hash camlp4을 수행해야합니다. zsh의 경우 rehash입니다.