#!/bin/bash # Si besoin export des valeurs de HTTP_PROXY et HTTPS_PROXY %if %%activer_proxy_client == 'oui' export HTTP_PROXY="%%proxy_client_adresse:%%proxy_client_port" export HTTPS_PROXY="%%proxy_client_adresse:%%proxy_client_port" %end if