Configurer le proxy pour Subversion

Vous souhaitez utiliser subversion, mais vous êtes sur un réseau qui possède un proxy. Nous voyons dans ce billet comment configurer SVN pour qu’il le prenne en compte.

Ajouter un proxy à la configuration

Tout d’abord ouvrez une fenêtre de terminal. Pour éditer le fichier de configuration sous Linux / Mac, tapez :

vim ~/.subversion/servers

Le fichier de configuration commence par ces lignes :

### This file specifies server-specific parameters,
### including HTTP proxy information, HTTP timeout settings,
### and authentication settings.

Passez les commentaires et allez jusqu’à la section [groups]. C’est ici que vous allez configurer votre proxy. Si vous utilisez différents proxy selon les endroits où vous travaillez, vous pouvez tous les configurer (group1, group2, group3, ….)

Serveur SVN

Indiquez dans un premier temps l’adresse du serveur SVN (‘i’ pour pouvoir éditer dans VIM) :

[groups]
group1 = svn.mon-domaine.com

Ou de manière plus générale :

[groups]
group1 = *.mon-domaine.com

Proxy

Ensuite renseignez pour chaque groupe les informations du proxy de cette manière :

[group1]
http-proxy-host = mon-proxy.fr
http-proxy-port = mon-port
# Si une identification est nécessaire :
# http-proxy-username = blah
# http-proxy-password = doubleblah
http-timeout = 60

Si vous en avez besoin, il y a également ces options :

• http-auth-types
• neon-debug-mask
• store-plaintext-passwords
• username

Pour définir un autre proxy, il vous suffit de reprendre le nom du groupe que vous avez donné pour votre second server svn (ça peut être le même server que le premier).

[groups]
group1 = *.mon-domaine.com
group2 = *.mon-domaine2.com

[group2]
http-proxy-host = mon-proxy2.fr
...

Sauvegardez le fichier VIM (esc, ‘:w’) et quittez (:q).
Vous pouvez maintenant utiliser subversion avec votre proxy.

Désactiver la configuration du proxy

Si vous souhaitez désactiver l’utilisation du proxy sans avoir à réécrire la configuration une prochaine fois, il vous suffit de commenter qu’une seule ligne :

# Desactive the proxy configuration
# [group1]
http-proxy-host = mon-proxy.fr
...

En espérant que ces petites lignes vous seront utiles ! Notez que si cela ne marche toujours pas il se peut que votre proxy bloque aussi les connexions vers certains serveurs ou vers certains ports. Veuillez donc au pire vous renseigner à ce sujet :-]