• Informatique
  • Internet
    • Référencement
    • Réseaux sociaux
    • Site internet
    • WordPress
  • Marketing
  • Science
  • Technologie
  • Entreprise
  • Maison & Jardin
    • Immobilier
    • Intérieur
    • Travaux
  • Musique & Art
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
    • Immobilier
    • Intérieur
    • Travaux
  • Musique & Art
Informatique

Github push avec proxy

Posted on06/03/201206/06/2016 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

  • tunnel de vente

    Améliorez votre approche de revenu avec les tunnels de vente

    15/11/2019
  • Firefly : la coque iPhone avec une antenne surpuissante

    15/11/2019
  • Investir avec le dispositif Pinel pour profiter de ses avantages

    21/05/2019

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

  • 5 aspects stratégiques pour mieux communiquer en 2021
  • Comment bien gérer la visibilité d’une entreprise sur les réseaux sociaux ?
  • Fissures d’écran smartphone : pourquoi et comment minimiser les risques ?
  • Communication d’entreprise : pourquoi avoir une newsletter ?
  • Tout savoir sur le plan de test logiciel

Commentaires récents

  • El ahmadi Ahmed dans Liseuse électronique les modèles Kindle
  • Lucie dans Pourquoi auriez-vous besoin d’un brise-vue ?
  • Lois dans Les avantages de l’auto-entreposage (self-stockage)
  • Johanna dans Tout ce qu’il faut savoir sur l’installation d’une piscine de jardin
  • blateil dans Liseuse électronique les modèles Kindle

Catégories

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

Tags

acheter agence agences avantages avec bien blog choisir comment communication conseils construire d'un dans e-commerce entreprise erreurs faire gestion google informatique internet ligne maison marketing meilleurs optimiser plan pour pourquoi profiter quand quel quels sans savoir site sont toiture tout trouver utiliser votre vous Wordpress
© Copyright 2016. BlogJaune.fr