Remplacer le proxy HTTP de Subversion pour une seule commande

Le client en ligne de commande de Subversion peut remplacer des réglages d'exécution pour un seul appel. Pour une opération de dépôt HTTP, répétez --config-option pour l'hôte et le port du proxy :

svn checkout \
  --config-option servers:global:http-proxy-host=proxy.example \
  --config-option servers:global:http-proxy-port=8080 \
  https://svn.example/repository/project working-copy

La continuation par barre oblique inverse montrée concerne un shell POSIX. Les valeurs des options elles-mêmes utilisent la même grammaire FILE:SECTION:OPTION=VALUE sur d'autres plateformes.

servers nomme le fichier de configuration d'exécution, global nomme sa section, et http-proxy-host ou http-proxy-port nomme le réglage. Le nom d'hôte et le port sont des valeurs distinctes. Ces affectations valent pour la commande plutôt que de réécrire le fichier servers de l'utilisateur. Une entrée de la liste de proxys HTTP peut fournir l'hôte et le port temporaires pour une route publique de dépôt autorisée, à condition que la configuration correspondante ne contienne aucun compte de proxy conservé.

Si la configuration comporte déjà un groupe de serveurs correspondant à ce dépôt, inspectez aussi ses valeurs plus spécifiques. Un remplacement dans la section global ne remplace pas la compréhension du groupe sélectionné.

Pour un environnement alternatif réutilisable, --config-dir sélectionne un répertoire contenant des fichiers de configuration d'exécution de Subversion. C'est un argument de répertoire, pas un chemin vers le fichier servers lui-même. Utilisez cette option lorsque l'intention est de sélectionner une configuration complète préparée plutôt que de fournir deux valeurs temporaires.