On 18/02/13 15:39, khan khan wrote:
first of all when i enter /home/sarah/pp/bin/xpp it opens xpp and second
command that you tell me to try was
PPENVDEBUG=y /home/sarah/pp/bin/xpp it also open xpp...so then why when i enter
the command xpp -d example_zed
says "printer not found, aborting"
how to make sure that ProofPower bin directory comes before the system bin
directories in the
PATH environment variable.
Easy - by doing exactly that before you run xpp, e.g.
PATH=/home/sarah/pp/bin:$PATH
Put this in
/home/sarah/.bash_profile
to have this done automatically when you log in. (That's for Fedora, at
leats. For other Linux distributions, it may go elsewhere e.g. .bashrc
- I don't know.)
Phil
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
