☰

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 にエントリを追加するということです。1 人のユーザーの PATH だけを変更する場合は、シェル構成ファイル .bashrc (または .zshrc) に追加することをお勧めします。それ以外の場合は、/etc/profile などの一般的な構成ファイルを確認することをお勧めします。

関連情報