como definir um caminho do ProofPower no Ubuntu 12.04 [duplicado]

Question

Fellows respeitados,

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

Meu caminho da caixa ProofPower é: / home / username / pp / bin /

Obrigado antecipadamente

    

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 direto: você está adicionando uma entrada ao seu PATH. você pode querer adicioná-lo ao seu arquivo de configuração de shell .bashrc (ou .zshrc) se você quiser mudar 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.