Search:

Edit you .bash_profile file using whatever tool you are comfortable with. I personally use vi. You can find it by type
ls -l .bash_profile in your home directory.

At the end of the PATH...

Hey there,

Give a try to ./a.out .. You're path is what is determining whether it finds it locally or not. You can find out what your path is by entering echo $PATH.

Hope this helps.