☰

как установить PATH ProofPower в Ubuntu 12.04

tag-icon • tag-icon desktop-environments environment-variables
как установить PATH ProofPower в Ubuntu 12.04

Уважаемые коллеги,

Я использую формальный инструмент проверки ProofPower в Ubuntu 12.04, но не знаю, как задать PATH или переменные среды в Ubuntu 12.04.

Мой путь к bin ProofPower: /home/username/pp/bin/

заранее спасибо

решение1

Очень просто: нужная вам линия — это просто

export VARIABLE=VALUE

в твоем случае

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

Значение должно быть простым: вы добавляете запись в свой PATH. Вы можете добавить ее в файл конфигурации оболочки .bashrc (или .zshrc), если хотите изменить PATH только одного пользователя, а в противном случае вам может потребоваться взглянуть на общие файлы конфигурации, такие как /etc/profile.

Связанный контент