====== Accès Internet ====== ===== Serveur Proxy ===== Vous pouvez utiliser les navigateurs firefox, Safari (mac seulement), ou Iceweasel (Firefox sous Debian). L'accès à Internet se fait au travers d'un **Proxy Web**. Si vous ne savez pas ce qu'est un proxy, allez jeter un oeil à cette page : [[howto_proxy|Notion de proxy]].\\ Vous devez donc configurer votre système et/ou votre navigateur avec les informations ci-dessous : Serveur proxy : cache.informatique.univ-paris-diderot.fr Port : 3128 Protocoles : HTTP, HTTPS et FTP. Liste d'exclusion : informatique.univ-paris-diderot.fr, 192.168.70.0/24, 194.254.199.0/24 ===== Configuration du proxy ===== ==== Macos X ==== === Paramètres proxy du système === Il faut être administrateur de la machine pour modifier ces paramètres. Par défaut, le proxy est déjà configuré sur les Macs des salles de TP Voici la procédure : - Ouvrir les Préférences Système de Macos X : Menu "Pomme > Préférences Système..." puis cliquer sur Réseau , - cliquer sur le bouton "Avancé..." puis l'onglet "Proxys" - Configurer les valeurs de proxy pour chaque protocole {{/wiki/images/proxymacosx.png?450|configuration du proxy dans Macos X}} === Safari === Safari utilise automatiquement les paramètres généraux du système, tels qu'ils ont été configurés ci-dessus. Aucune modification n'est nécessaire. === Firefox === - Ouvrir les préférences de Firefox : "Menu Firefox > Préférences..." , - Onglet "Avancé > Réseau", bouton "Paramètres", - Si vous avez configuré paramètres proxy du système (voir ci-dessus), cocher "Utiliser les paramètres proxy du système", sinon passer au point suivant, - Cocher "Configuration manuelle du proxy" - Renseigner les paramètres du proxy comme indiqué plus haut et cocher "Utiliser ce serveur proxy pour tous les protocoles". {{/wiki/images/proxyfirefox.png|configuration du proxy dans Firefox}} ==== UNIX ==== === Firefox / Iceweaseal === Iceweaseal est la version Debian de firefox. Dans Firefox/Iceweaseal : - Ouvrir les préférences de Firefox : "Menu Firefox > Préférences..." , - Onglet "Avancé > Réseau", bouton "Paramètres", - Si vous avez configuré paramètres proxy du système (voir ci-dessus), cocher "Utiliser les paramètres proxy du système", sinon passer au point suivant, - Cocher "Configuration manuelle du proxy" - Renseigner les paramètres du proxy comme indiqué plus haut et cocher "Utiliser ce serveur proxy pour tous les protocoles". === Variables d'environnement http_proxy, ftp_proxy ... === La plupart des outils graphiques sous Unix, comme Firefox, gèrent la déclaration du proxy. L'accès à Internet n'est donc pas un problème pour ceux-ci. Pour les programmes exécutées dans un terminal, c'est un peu différent.\\ Les programmes en mode texte comme curl, wget, subversion... utilisent la variable d'environnement http_proxy pour identifier le proxy à utiliser. Une variable d'environnement est une variable nommée qui contient des informations utilisées par une ou plusieurs applications (processus) du système. En utilisant des variables d'environnement, on peut changer facilement la valeur d'une configuration pour une ou plusieurs applications. //**Astuce** : Les commandes env et set permettent de lister les variables d’environnement de la session.// Les variables d'environnements pour les protocoles http, https et ftp sont respectivement **http_proxy**, **https_proxy** et **ftp_proxy** et se définissent de la manière suivante : export http_proxy = http://cache.informatique.univ-paris-diderot.fr:3128 export https_proxy = http://cache.informatique.univ-paris-diderot.fr:3128 export ftp_proxy = http://cache.informatique.univ-paris-diderot.fr:3128 Afin que le changement soit permanent, vous pouvez les définir dans votre fichier ~/.profile ou ~/.bash_profile. Les nouvelles sessions vont lire ces fichiers et prendre en compte les variables. === Serveur proxy (mandataire) du système === Plusieurs distributions et environnements permettent de configurer le proxy pour l'ensemble des applications fournies avec la distribution. C'est le cas par exemple de KDE et GNOME. == KDE == Menu KDE > Configuration > Internet et réseau > Serveur mandataire (proxy) Configuration manuelle == GNOME == Vous devez être administrateur Menu Système > Préférences > Serveur mandataire * Configuration manuelle du serveur mandataire * Appliquer à l'ensemble du système :!: Ajouter captures ==== Subversion / SVN ==== modifier le fichier ~/.subversion/server dans la section [global] [global] http-proxy-host = cache.informatique.univ-paris-diderot.fr http-proxy-port = 3128 http-proxy-exceptions = *.informatique.univ-paris-diderot.fr, 192.168.70.0/24, 194.254.199.0/24 Vous pouvez aussi configurer des serveurs particuliers, en créant des sections à part. ==== WGET ==== Dans les salles de MAC, le fichier de configuration est /opt/local/etc/wgetrc\\ Sur les autres machines, le fichier de configuration est /etc/wgetrc Vous devez modifier les paramètres proxy : https_proxy = 192.168.70.200:3128/ http_proxy = 192.168.70.200:3128/ ftp_proxy = 192.168.70.200:3128/ ==== GIT ==== Ajouter un fichier .gitconfig à la racine de votre HomeDir avec les paramètres suivants : [http] proxy = http://192.168.70.200:3128/ [https] proxy = http://192.168.70.200:3128/ [core] gitproxy = gitproxy