Comment configurer un proxy pour Git ?

Question

Récemment, je ne peux pas accéder souvent à Bitbucket et la vitesse de déplacement du code depuis Github est lente. Tout le monde en connaît la raison.
Par conséquent, le meilleur moyen est de configurer un proxy pour Git. J'espère spécifier certains entrepôts pour utiliser la méthode proxy. Je ne sais pas comment le configurer ?

Pour ajouter une autre situation

Dans l'environnement local, j'ai configuré un agent ssh et je vais au 127.0.0.1:7070 via SOCKS. Si l'agent ssh local est activé, Y a-t-il un autre moyen ?

Answer 1

Je pense que vous posez peut-être cette question.

Problème :
E:PDFium>git clone https://pdfium.googlesource.com/pdfium
Clonage dans 'pdfium'...
fatal : impossible d'accéder à 'https://pdfium .googlesource.com/pdfium/' : Échec de la connexion à pdfium.googlesource.com : 443 Aucune erreur

 ;

Solution :
git config --global http.proxy http://proxy.com:1234

git config --global https.proxy http://proxy.com:1234
git config --global http.sslverify false
Réimprimé de : http://ricksu.blog.163.com/ blog /static/18906433820125294929508/

Référence : http://infong.net/config-proxy-for-git/

J'utilise un petit logiciel sur mon ordinateur pour contourner le pare-feu, je le règle donc sur

E:PDFium>git config --global http.proxy http://127.0.0.1:8580
E:PDFium>git config --global https.proxy https://127.0.0.1:8580
E:PDFium>git config

--http.SSLVERIFY global faux

Answer 2

Sur Ubuntu 16.04, cela peut toujours ressembler à ceci :

Dans un terminal tapez :

export all_proxy=socks://addr:port
export ALL_PROXY=socks://addr:port

Ensuite toutes les opérations git effectuées sur ce terminal passeront par le proxy

Si vous souhaitez annuler :

unset all_proxy
unset ALL_PROXY