A simple sh script to detect and configure proxy if needed when a terminal is started.
Default proxy setting is Universite de Technologie de Compiegne (UTC) : proxyweb.utc.fr
-
add following line to ~/.bashrc or equivalent : . path/to/autoProxy.sh
-
configure proxy addresses in autoProxy.sh
A message should be displayed on terminal launch if the proxy was set