Dans certains cas, un serveur mandataire est nécessaire pour accéder aux services web sur internet. Pour la plupart des navigateurs, ce paramètre est déjà renseigné au niveau du système d'exploitation et non modifiable. Cependant, si vous utilisez un logiciel qui ne possède pas les bons réglages, vous pouvez le configurer vous même. La détection automatique est sensée fonctionner (aucun paramètre à renseigner dans le logiciel).
Si ce n'est pas le cas, voici les paramètres à connaître :
Pour la plupart des logiciels, cette option sera située dans le menu réseau. Pour les autres, cherchez dans les préférences → paramètres pour chaque protocole http(s) et ftp disponible sur le navigateur.
Certains logiciels comme wget supportent la variable d'environnement http_proxy
qui se règle comme suit :
export http_proxy="http://proxy.unicaen.fr:3128" export https_proxy="http://proxy.unicaen.fr:3128"
Cependant, afin de paramétrer adéquatement le proxy pour les commandes lancées depuis votre terminal, il y a plusieurs variables à déclarer (ou pas si votre connexion réseau ne nécessite pas de passer par nos serveurs proxy). Vous pouvez configurer votre shell bash comme suit :
eval $(/usr/local/bin/proxy-config --bash)
Si vous quittez le réseau de l’établissement (ordinateur portable par exemple), pensez à relancer la commande de configuration (ou à quitter le terminal en cours). Il faudra aussi probablement quitter les applications déjà lancées.
Pour éviter le proxy pour certains noms DNS ou certaines adresses IP, il faut créer la variable d'environnement no_proxy
qui se règle comme suit :
export no_proxy="localhost,127.0.0.1"
Vous ne pouvez pas accéder directement au web depuis vos pages web personnelles. Cependant, vous pouvez utiliser le proxy et la librairie curl.
Voici un exemple de code php:
<?php $url ="http://www.google.fr"; $proxy = "http://proxy.unicaen.fr:3128"; $curl = curl_init(); curl_setopt($curl, CURLOPT_PROXY, $proxy); curl_setopt($curl, CURLOPT_URL, $url); curl_setopt($curl, CURLOPT_RETURNTRANSFER, 1); $data = curl_exec($curl); echo $data; ?>
La librairie curl est disponible pour d'autres langages, à vous d'adapter l'exemple ci-dessus à vos besoins.
Vous ne pouvez pas accéder directement au web depuis vos progrmmes Java exécutés sur les machines de libre service. Cependant, vous pouvez configurer Java pour utiliser le proxy.
Depuis la ligne de commande : Lancer le programme avec les paramètres suivants :
java -Dproxy.httpHost=proxy.info.unicaen.fr -Dproxy.httpPort=3128 MaClasseJava
Dans le code de votre programme java, ajoutez les lignes suivantes :
System.setProperty("http.proxyHost", "proxy.unicaen.fr"); System.setProperty("http.proxyPort", "3128");
Ce n'est en tout état de cause pas une bonne idée de coder cela « en dur ».
pour configurer le proxy unicaen dans R (à taper directement dans la console) :
Sys.setenv("http_proxy" = "http://proxy.unicaen.fr:3128")
pour vérifier la configuration actuelle :
Sys.getenv('http_proxy')
pour désactiver le proxy (c-à-d, retour à la configuration originale) :
Sys.setenv("http_proxy" = "")
Pour un paramétrage en dur du proxy :
# cat /etc/apt/apt.conf.d/80proxy Acquire::http::Proxy "http://proxy.unicaen.fr:3128"; Acquire::https::Proxy "http://proxy.unicaen.fr:3128";
Sur des postes qui peuvent changer régulièrement de réseau (et donc de configuration), il est préférable de passer par un script. Par exemple :
Acquire::http::Proxy-Auto-Detect "/usr/local/bin/proxy-config";