Sto eseguendo Linux Mint 18.3 Cinnamon. Le modifiche nel file ~/.profile sono stato prelevato solo dopo che mi sono disconnesso/in dall'account. Il riavvio del terminale non è stato sufficiente nel mio caso.
Esegui bash -xl per vedere quali file di avvio vengono caricati con la tua shell. .profile potrebbe effettivamente non essere letto. Altrimenti prova ad aggiungere export al tuo incarico:
export PATH=$PATH:/home/paul/avatar-gf-1.0-ea/glassfish4/bin/
Riferimento sui file di avvio di Bash:File di avvio di Bash
Prova questo in ~/.pam_environment nella tua cartella home. Se non esiste, crealo:
PATH DEFAULT=${PATH}:/home/paul/avatar-gf-1.0-ea/glassfish4/bin/
Dovrai accedere e uscire.