tails (./49) :
Par contre les variables d'environnement, d'après la console, sont modifiées ($PATH et $TIGCC) mais
printenv TIGCC me renvoie immédiatement la main => pas fixéede même pour printenv PATH.

Pour une installation à portée du système, les variables sont réglées dans /etc/bashrc, qui n'est malheureusement pas honoré par toutes les distributions (en particulier Debian et Ubuntu n'utilisent pas ce fichier).

C'est un des trucs que je voudrais régler avant de faire une nouvelle release de TIGCC (il faudrait utiliser /etc/profile.d/ si disponible, et /etc/profile sinon, et utiliser la syntaxe des export en 2 lignes parce que sinon certains shells ne vont pas aimer), le problème c'est que faire avec les systèmes où les réglages ont déjà été rajoutés dans /etc/bashrc, surtout si on choisit un dossier différent pour la nouvelle version.