Ubuntu 12.04에서 ProofPower의 PATH를 설정하는 방법

Ubuntu 12.04에서 ProofPower의 PATH를 설정하는 방법

존경하는 여러분,

Ubuntu 12.04에서 공식 확인 도구인 ProofPower를 사용하고 있지만 Ubuntu 12.04에서 PATH 또는 환경 변수를 어떻게 설정할 수 있는지 모르겠습니다.

내 ProofPower 저장소 경로는 /home/username/pp/bin/입니다.

미리 감사드립니다

답변1

매우 쉽습니다. 필요한 라인은 간단합니다.

export VARIABLE=VALUE

당신의 경우에는

export PATH=$PATH::/home/username/pp/bin/

의미는 간단해야 합니다. 즉, PATH에 항목을 추가하는 것입니다. 한 사용자의 PATH만 변경하려면 셸 구성 파일 .bashrc(또는 .zshrc)에 추가하고, 그렇지 않으면 /etc/profile과 같은 일반 구성 파일을 살펴보는 것이 좋습니다.

관련 정보