Sehr geehrte Kollegen,
Ich verwende in Ubuntu 12.04 ein formales Verifizierungstool namens ProofPower, weiß aber nicht, wie ich in Ubuntu 12.04 einen Pfad oder Umgebungsvariablen festlegen kann.
Mein ProofPower-Bin-Pfad ist: /home/Benutzername/pp/bin/
Dank im Voraus
Antwort1
Ganz einfach: Die benötigte Leitung ist einfach
export VARIABLE=VALUE
in Ihrem Fall
export PATH=$PATH::/home/username/pp/bin/
Die Bedeutung sollte einfach sein: Sie fügen einen Eintrag zu Ihrem PATH hinzu. Sie können ihn zu Ihrer Shell-Konfigurationsdatei .bashrc (oder .zshrc) hinzufügen, wenn Sie nur den PATH eines Benutzers ändern möchten. Andernfalls möchten Sie vielleicht einen Blick auf allgemeine Konfigurationsdateien wie /etc/profile werfen.