Nouveau pour travailler avec git dans Windows. J'ai téléchargé l'application GitHub Desktop et je peux connecter mon compte, mais les push/pulls échouent en raison d'un hôte non résolu. En demandant autour du lieu de travail, j'ai eu la suggestion suivante de taper cette commande dans le shell git.
git config --global http.proxy http://username:[email protected]:8080
Est ce que ca:
GitHub for Desktop ne génère-t-il pas et n'utilise-t-il pas à la place des clés SSH (j'ai reçu une notification par e-mail lorsque j'ai connecté mon compte pour la première fois)? Comment puis-je configurer GitHub Desktop pour fonctionner avec ce proxy?
Donc, en fait, la solution était de taper cette commande dans le shell git.
git config --global http.proxy http://<proxy-ip>:<proxy-port>
Pour ajouter directement un proxy à Github Desktop sans utiliser git Shell:
Configurer/Connectez-vous à votre compte dans Github Desktop (Ce ne sera pas un problème, le proxy ne vous permet pas seulement d'ajouter, de créer ou de cloner un dépôt)
Fermez Github Desktop pour le moment (pour configurer le proxy).
Aller à C:\Users\@yourusername
.
Vous y trouverez un fichier nommé .gitconfig
Ouvrez-le avec n'importe quel éditeur de texte (j'ai utilisé du texte sublime 3) et ajoutez
[http] proxy = http://username:[email protected]:8080
et enregistrer.
Remarque (pour les utilisateurs TFS): TFS renvoie une erreur de passerelle 502 incorrecte lorsque vous utilisez la configuration de proxy ci-dessus. Utilisez le hachage # pour commenter la configuration du proxy dans .gitconfig pour basculer entre Git et TFS.
Essayez de passer à GitHub Desktop 2.4 (mars 2020)
Travailler derrière un proxy
Avec GitHub Desktop 2.4, nous gérons automatiquement la configuration sans que vous ayez à configurer quoi que ce soit manuellement — ne vous inquiétez plus!
Cela pourrait fonctionner avec ceci:
Si le nom d'utilisateur et le mot de passe ne sont pas très importants, utilisez: