Petite astuce pour utiliser Git à travers un proxy: positionner une variable d'environnement http_proxy (ou https_proxy dans mon cas) de la manière suivante:
$> export http_proxy="http://proxy.host.dom:1234"
et pour l'HTTPS:
$> export https_proxy="https://proxy.host.dom:1234"
Le clonage devient tout de suite plus simple
$> git clone http[s]://[username@]forge.host.dom/mon/repo.git
Voilà!
En complèment et sous la torture, pour indiquer à GIT (curl en fait) qu'il ne faut pas utiliser le proxy pour certains serveurs, il faut jouer avec la variable NO_PROXY.
RépondreSupprimerVoila :)
Merci Thomas ;)
Supprimer