como definir um PATH de ProofPower no Ubuntu 12.04

Question

Caros companheiros,

Estou usando uma ferramenta de verificação formal ProofPower no Ubuntu 12.04, mas não sei como posso definir um PATH ou variáveis ​​de ambiente no Ubuntu 12.04.

Meu caminho do bin ProofPower é: /home/username/pp/bin/

desde já, obrigado

Answer 1

Muito fácil: a linha que você precisa é simplesmente

export VARIABLE=VALUE

no seu caso

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

o significado deve ser simples: você está adicionando uma entrada ao seu PATH. você pode querer adicioná-lo ao arquivo de configuração do shell .bashrc (ou .zshrc) se quiser alterar apenas o PATH de um usuário e, caso contrário, você pode querer dar uma olhada nos arquivos de configuração gerais, como /etc/profile.