Utiliser un proxy HTTP pour se connecter en SSH (et à GIT)

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://[email protected]/chemin-du-repo.git
        url = ssh://user-git@host-git/chemin-du-repo.git