<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;"><pre>first of all when i enter /home/sarah/pp/bin/xpp it opens xpp and second command that you tell me to try was <br>PPENVDEBUG=y /home/sarah/pp/bin/xpp it also open xpp...so then why when i enter the command xpp -d example_zed<br> says "printer not found, aborting"<br><br>how to make sure that ProofPower bin directory comes before the system bin directories in the
PATH environment variable.<br><br>their is some path environment variable problem. i have also attached a file please check it and reply<br>me. and also my proofpower intallation directory is  /home/sarah/pp<br><br>below are the errors that i am getting when i try to set the path<br>first and then enter the command xpp -d example_zed.polydb.<br><br>sarah@sarah-VGN-NW150J:~$ export PATH=/home/sarah/pp/bin<br>sarah@sarah-VGN-NW150J:~$ echo $PATH<br>/home/sarah/pp/bin<br>sarah@sarah-VGN-NW150J:~$ xpp -d example_zed.polydb<br>/home/sarah/pp/bin/pp: 1: /home/sarah/pp/bin/pp: basename: not found<br>/home/sarah/pp/bin/pp: 1: /home/sarah/pp/bin/pp: basename: not found<br>/home/sarah/pp/bin/pp: 1: /home/sarah/pp/bin/pp: expr: not found<br>/home/sarah/pp/bin/pp: 1: /home/sarah/pp/bin/pp: expr: not found<br>/home/sarah/pp/bin/pp: 1: /home/sarah/pp/bin/pp: dirname: not found<br>: cannot locate the ProofPower installation directory<br>sarah@sarah-VGN-NW150J:~$ export
 PATH=/home/sarah/pp/bin/xpp<br>sarah@sarah-VGN-NW150J:~$ echo $PATH<br>/home/sarah/pp/bin/xpp<br>sarah@sarah-VGN-NW150J:~$ xpp -d example_zed.polydb<br>Command 'xpp' is available in '/usr/bin/xpp'<br>The command could not be located because '/usr/bin' is not included in the PATH environment variable.<br>xpp: command not found<br><br>thank you<br>sarah</pre></td></tr></table>