L'éternelle question quand on est derrière un serveur mandataire : Dis, comment qu'on fait ? Et l'éternelle réponse est : ajouter l'adresse du mandataire au bon endroit. Il faut juste savoir ce qu'est le bon endroit.

Pour Subversion, c'est facile, vous pouvez éditer le fichier ~/.subversion/servers, et ajouter les lignes :

[global]
http-proxy-host=www.mon-mandataire.net
http-proxy-port=3128

Dans la catégorie globale (pour l'ensemble des serveurs subversions, ou dans des catégories dédiées si nécessaire.