☰

如何在 Ubuntu 12.04 中设置 ProofPower 的 PATH

tag-icon • tag-icon desktop-environments environment-variables
如何在 Ubuntu 12.04 中设置 ProofPower 的 PATH

尊敬的各位同事，

我在 Ubuntu 12.04 中使用正式验证工具 ProofPower，但我不知道如何在 Ubuntu 12.04 中设置 PATH 或环境变量。

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

提前致谢

答案1

非常简单：你需要的只是

export VARIABLE=VALUE

你的情况

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

其含义很简单：您正在向 PATH 添加一个条目。如果您只想更改一个用户的 PATH，则可能需要将其添加到 shell 配置文件 .bashrc（或 .zshrc）中，否则您可能需要查看常规配置文件，例如 /etc/profile。

相关内容