J’ai pas tout lu, mais il est faux que bash lit systématiquement /etc/profile : il ne le lit que quand c’est un shell de login, donc typiquement si tu te loggues en ssh ou en console, mais pas si tu lances un xterm.

Inversement les fichiers .bashrc sont lus seulement par les shells pas de login. C’est pour ça que je mets toujours un .bashrc qui contient juste la ligne
. /etc/profile

comme ça j’ai un seul fichier à tenir à jour

sinon je sais pas si c’est exprès que tu n’exportes pas BASH_ENV ? (il faut l’exporter pour que ce soit une variable d’environnement)