Run bash -xl
to see which startup files are loaded with your shell. .profile
may actually not be read. Otherwise try adding export
to your assignment:
export PATH=$PATH:/home/paul/avatar-gf-1.0-ea/glassfish4/bin/
Reference about Bash's startup files: Bash Startup Files