如何在Ubuntu 12.04設定ProofPower的路徑

Question

尊敬的各位同仁，

我在 Ubuntu 12.04 中使用正式驗證工具 ProofPower，但我不知道如何在 Ubuntu 12.04 中設定 PATH 或環境變數。

我的 ProofPower bin 路徑是：/home/username/pp/bin/

先致謝

Answer 1

很簡單：您需要的線路很簡單

export VARIABLE=VALUE

在你的情況下

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

含義應該很簡單：您正在向 PATH 添加一個條目。如果您只想更改一個使用者的 PATH，您可能需要將其新增至 shell 設定檔 .bashrc（或 .zshrc）中，否則您可能需要查看通用設定文件，例如 /etc/profile。