kacy's Home In Cyberspace

Installer l’utilitaire socat, ex. sous centos :

  sudo yum install socat

Créer un fichier config ~/.ssh/config :

Host host-git
  ProxyCommand  socat - PROXY:<proxy ip/host>:%h:%p,proxyport=<proxy port>

Changez les permissions de ce nouveau fichier :

chmod 600 ~/.ssh/config

Pour GIT, en l’occurrence vous pouvez ensuite éditer le fichier <REPO>/.git/config et modifier la section remote

[remote "origin"]
        #url = https://user-git@host-git/chemin-du-repo.git
        url = ssh://user-git@host-git/chemin-du-repo.git

…ou si pas encore de remote origin l’ajouter :

git remote add origin ssh://user-git@host-git/chemin-du-repo.git

puis pousser vos modifications :

git push -u origin master