Git est un logiciel de gestion de versions décentralisé.
C’est un logiciel libre créé par Linus Torvalds, le créateur du noyau Linux, et distribué selon les termes de la licence publique générale GNU version 2.
(source: wikipedia)
En lisant l’article de NeoSting, sur glances-une-alternative-a-top-ou-htop-pour-surveiller-son-systeme, j’ai évidemment testé de suite sur une de mes machines.
Mais étant au bureau, je fus confronté au problème de proxy.
Je vais donc vous expliquer en deux mots comment utiliser git derrière un proxy.
Déclaration du proxy
la commande qui permet de déclarer un proxy est la suivante:
si pas d’authenfication
export http_proxy="http://PROXY_IP:PROXY_PORT"
si authentification
export http_proxy="http://USER:PASSWORD@PROXY_IP:PROXY_PORT"
Vérification
echo $http_proxy http://172.31.135.235:8080/
Déclaration git à travers http
Git supporte plusieurs protocoles : ssh, http, https, ftp, ftps, rsync et son propre protocole git
Normalement, lorsqu’on utilise git on fait comme suit, exemple avec glances:
git clone -b experimental git://github.com/nicolargo/glances.git
et j’obtiens le message d’erreur suivant:
Cloning into 'glances'... fatal: unable to connect to github.com ...
Ce message d’erreur vient du fait que le protocole git n’utilise pas la variable http_proxy,
pour contourner le problème, nous allons remplacer git par http.
En reprenant notre exemple de départ:
git clone -b experimental http://github.com/nicolargo/glances.git
et là comme par magie
remote: Counting objects: 608, done. remote: Compressing objects: 100% (301/301), done. remote: Total 608 (delta 335), reused 559 (delta 287) Receiving objects: 100% (608/608), 2.31 MiB | 316 KiB/s, done. Resolving deltas: 100% (335/335), done.
