Outils pour utilisateurs

Outils du site


Panneau latéral

wiki:howto_internet

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 : 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 :

  1. Ouvrir les Préférences Système de Macos X : Menu “Pomme > Préférences Système…” puis cliquer sur Réseau ,
  2. cliquer sur le bouton “Avancé…” puis l’onglet “Proxys”
  3. Configurer les valeurs de proxy pour chaque protocole

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

  1. Ouvrir les préférences de Firefox : “Menu Firefox > Préférences…” ,
  2. Onglet “Avancé > Réseau”, bouton “Paramètres”,
  3. 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,
  4. Cocher “Configuration manuelle du proxy”
  5. Renseigner les paramètres du proxy comme indiqué plus haut et cocher “Utiliser ce serveur proxy pour tous les protocoles”.

configuration du proxy dans Firefox

UNIX

Firefox / Iceweaseal

Iceweaseal est la version Debian de firefox.

Dans Firefox/Iceweaseal :

  1. Ouvrir les préférences de Firefox : “Menu Firefox > Préférences…” ,
  2. Onglet “Avancé > Réseau”, bouton “Paramètres”,
  3. 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,
  4. Cocher “Configuration manuelle du proxy”
  5. 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.

<note>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.</note>

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
wiki/howto_internet.txt · Dernière modification: 08/01/16 17:00 (modification externe)