[ProofPower] (no subject)

[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"
> 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