• Informatique
  • Internet
    • Référencement
    • Réseaux sociaux
    • Site internet
    • WordPress
  • Marketing
  • Science
  • Technologie
  • Entreprise
  • Maison & Jardin
    • Intérieur
    • Travaux
  • Musique

Blog Jaune – L'actualité du web

Le magazine nouvelle génération du web !
  • Informatique
  • Internet
    • Référencement
    • Réseaux sociaux
    • Site internet
    • WordPress
  • Marketing
  • Science
  • Technologie
  • Entreprise
  • Maison & Jardin
    • Intérieur
    • Travaux
  • Musique
Informatique

Github push avec proxy

06/03/2012 No Comments Yet
Home » Informatique » Github push avec proxy

Utiliser github et git derrière un proxy sock produit par ssh n’est pas du tout pratique. Après avoir fait le tour de différentes solutions, voici une solution qui fonctionne :

La première étape et de mettre en place le tunnel vers github, ici en utilisant ssh :
ssh user@server -L 10022:github.com:22

Il faut ajouter un nom pour le tunnel ssh. Utiliser localhost risque de faire des conflits avec un serveur ssh local. Ajouter cette ligne dans le fichier /etc/hosts :
127.0.0.1 tunnel.github.com

Dans la configuration ssh, il faut indiquer le port utilisé pour le tunnel vers github.
Ajouter dans le fichier ~/.ssh/config :
Host tunnel.github.com
Port 10022

Et enfin, il faut ajouter une nouvelle référence vers un dépot distant, en prenant soin de remplacer github.com par le nouveau nom.
git remote add tunnel git@tunnel.github.com:githubUser/Project.git

Previous Article 3 millions d’utilisateurs sur Twitter…
Next Article Le pigeon nouveau est arrivé ou quand la basse-cour de Google s’agrandit

Related Posts

  • protection de donnée 4

    Non-respect du RGPD : que risque-t-on ?

    19/02/2018
  • Maintenance informatique

    La maintenance informatique intéresse tout le monde

    20/12/2016
  • Syslog ng

    Que signifie donc le terme Syslog ng ?

    19/11/2016

Leave a Reply

Annuler la réponse.

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.

Articles récents

  • Comment créer une entreprise funéraire ?
  • Nos conseils pour trouver un artisan grâce aux devis travaux en ligne
  • Comment créer une entreprise prospère ?
  • Agencer votre salon pour le rendre en une véritable pièce à vivre
  • Le team building pour renforcer la cohésion de groupe dans votre équipe

Commentaires récents

  • Dimitri dans Décorer sa maison : oser le mélange de styles
  • Dimitri dans Quelques conseils pour ne jamais perdre son téléphone
  • Dimitri dans Installer un système de sécurité résidentiel pour se sentir en sécurité
  • Dimitri dans Comment apprendre à faire d’un instrument de musique ?
  • Robert dans Différence entre imprimante jet d’encre et imprimante laser

Catégories

  • Entreprise
  • Immobilier
  • Informatique
  • Intérieur
  • Internet
  • Maison & Jardin
  • Marketing
  • Musique
  • Non classé
  • Référencement
  • Réseaux sociaux
  • Science
  • Site internet
  • Technologie
  • Travaux
  • Wordpress

Tags

agence agences avantages avec choisir choix clients comment communication conseils d'un dans devenir domaine e-commerce entreprise entreprises erreurs faire gestion google informatique internet ligne maison marketing monde musique nouvelles objet optimiser plus pour pourquoi quand quels sans savoir site sont tout trouver votre vous Wordpress
© Copyright 2016. BlogJaune.fr