Re: [ProofPower] (no subject)

2013-02-19 Thread Roger Bishop Jones
On 19/02/13 00:55, Phil Clayton wrote: 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

[ProofPower] (no subject)

2013-02-18 Thread khan khan
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 dir

Re: [ProofPower] (no subject)

2013-02-18 Thread Phil Clayton
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" ho

[ProofPower] (no subject)

2013-02-18 Thread khan khan
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 dir