J'utilise Linux Mint 18.3 Cinnamon. Les changements dans le fichier ~/.profile n'a été récupéré qu'après m'être déconnecté/connecté du compte. Le redémarrage du terminal n'a pas suffi dans mon cas.
Exécutez bash -xl pour voir quels fichiers de démarrage sont chargés avec votre shell. .profile peut en fait ne pas être lu. Sinon, essayez d'ajouter export à votre devoir :
export PATH=$PATH:/home/paul/avatar-gf-1.0-ea/glassfish4/bin/
Référence sur les fichiers de démarrage de Bash :Bash Startup Files
Essayez ceci dans ~/.pam_environment dans votre dossier personnel. S'il n'existe pas, créez-le :
PATH DEFAULT=${PATH}:/home/paul/avatar-gf-1.0-ea/glassfish4/bin/
Vous devrez vous connecter et vous déconnecter.