Bonjour
Sous un environnement debian, il est devenu assez facile (sous cinnamon par exemple) de configurer le proxy dans les paramètres réseaux et les exceptions qui peuvent aller avec de façon graphique.
Si on veut faire la configuration du proxy au niveau machine, cela se fait assez bien aussi, en utilisant les variables d'environnement comme décrit par exemple sur cette page
https://doc.ubuntu-fr.org/proxy_terminal
Cependant, la limite de cette méthode est qu'elle ne permet pas de gérer les exceptions de proxy.
Savez vous quels sont les fichiers qui sont modifés au niveau de cinammon ou d'autres WM pour configurer le proxy avec ses exceptions ? Comme il s'agit du parc d'un établissement scolaire, je ne peux pas passer machine par machine, il faut que je scripte.
En vous remerciant par avance
Laurent
Rebonjour
Après des recherches, je me réponds à moi même, dans l'espoir que cela puisse en aider d'autres.
La configuration des WM de type gnome est gérée par dconf et gsettings.
On trouve ce post qui donne des exemples pour la config du proxy :
https://askubuntu.com/questions/404337/how-to-easily-switch-between-proxy-methods-from-terminal
Et on peut configurer cela au niveau système pour avoir des
paramètres par défaut convenable grâce aux fichiers système
https://help.gnome.org/admin/system-admin-guide/stable/dconf-keyfiles.html.en
Remplir correctement ces fichiers doit suffire pour avoir un proxy pour les utilisateurs avec les exceptions de rigueur
En espérant que cela sera utile à d'autres
Cordialement
Laurent