GIT Support PDF
Configurer son identité Git (nom et e-mail)
1. Vérifier les informations de Git (globales et locales)
Voir les réglages globaux (valables pour tous les dépôts) :
git config --global user.name
git config --global user.email
Voir les réglages locaux (pour le dépôt courant) :
git config --local user.name
git config --local user.email
Voir toute la configuration effective :
git config --list
Cette dernière commande affiche les valeurs venant :
- de la configuration locale (
.git/config), - de la configuration globale (
~/.gitconfig), - de la configuration système (
/etc/gitconfig).
2. Modifier les informations (nom et e-mail)
Changer l’identité pour tous les projets (recommandé pour un poste personnel) :
git config --global user.name "Prénom Nom"
git config --global user.email "email@example.com"
Ces valeurs seront utilisées par défaut dans tous les dépôts de cet utilisateur.
Changer l’identité uniquement pour un projet (utile sur un poste partagé) :
git config --local user.name "Prénom Nom"
git config --local user.email "email@example.com"
Cela ne modifie que la configuration du dépôt courant (fichier .git/config).
4. Supprimer une mauvaise configuration
Supprimer une valeur locale (dépôt courant) :
git config --unset user.name
git config --unset user.email
Supprimer une valeur globale (pour l’utilisateur) :
git config --global --unset user.name
git config --global --unset user.email
5. Résumé simple
Exemple de séquence de commandes à faire exécuter en début de TP :
# Vérifier s'il y a déjà une identité configurée
git config --global user.name
git config --global user.email
# Si c'est vide ou incorrect, configurer :
git config --global user.name "Prénom Nom"
git config --global user.email "email@example.com"
À partir de là, les commits seront correctement signés avec le nom et l’e-mail de l’étudiant, et GitHub pourra associer les commits au bon compte.
Configurer la connexion SSH à GitHub sous Windows
Une clé SSH est un mécanisme d’authentification sécurisé utilisé pour se connecter à des services comme GitHub sans mot de passe.
Concrètement :
-
Elle se compose de deux fichiers :
-
clé privée : gardée secrète sur l’ordinateur
-
clé publique : envoyée au serveur (GitHub)
-
-
Lorsque tu te connectes, GitHub vérifie que la clé privée correspond à la clé publique.
-
Si elles correspondent, l’accès est accordé automatiquement, sans demander de mot de passe.
C’est l’équivalent d’un badge magnétique :
-
GitHub a la copie du badge (clé publique),
-
Ton ordinateur a l’original (clé privée),
-
Si les deux correspondent → tu passes.
Résultat : connexion plus simple, plus rapide et beaucoup plus sécurisée que les mots de passe.
1. Vérifier si une clé SSH existe déjà
Ouvrir Git Bash, puis taper :
ls -al ~/.ssh
Si des fichiers comme id_ed25519 / id_ed25519.pub ou id_rsa / id_rsa.pub apparaissent, une clé existe déjà. Dans ce cas, vous pouvez passer à l’étape 4.
2. Créer une nouvelle clé SSH
GitHub recommande le type de clé ed25519.
Dans Git Bash, exécuter :
ssh-keygen -t ed25519 -C "email_github@example.com"
Puis :
- Appuyer sur Entrée pour accepter le chemin par défaut (en général
/c/Users/<nom_utilisateur>/.ssh/id_ed25519). - Saisir une passphrase (facultatif mais recommandé), ou appuyer sur Entrée pour ne pas en mettre.
Deux fichiers sont alors créés dans ~/.ssh :
id_ed25519: clé privée (ne jamais la partager).id_ed25519.pub: clé publique (celle qui sera copiée sur GitHub).
3. Lancer l’agent SSH sous Windows
Dans Git Bash, démarrer l’agent SSH :
eval "$(ssh-agent -s)"
Si tout va bien, un message du type Agent pid 1234 s’affiche.
4. Ajouter la clé privée à l’agent SSH
Ajouter la clé créée à l’agent :
ssh-add ~/.ssh/id_ed25519
Si une passphrase a été définie, elle est demandée à cette étape.
5. Copier la clé publique
Afficher le contenu de la clé publique :
cat ~/.ssh/id_ed25519.pub
Le terminal affiche une ligne commençant par ssh-ed25519. Sélectionner et copier toute la ligne (c’est cette clé qui sera enregistrée sur GitHub).
6. Ajouter la clé SSH à GitHub
- Se connecter à son compte GitHub.
- Aller dans Settings (Paramètres du compte).
- Dans le menu, choisir SSH and GPG keys.
- Cliquer sur le bouton New SSH key.
- Donner un titre explicite, par exemple : PC Windows BUT SD.
- Coller la clé publique copiée dans le champ prévu.
- Cliquer sur Add SSH key.
7. Tester la connexion SSH avec GitHub
De nouveau dans Git Bash, taper :
ssh -T git@github.com
Lors de la première connexion, GitHub peut demander une confirmation (fingerprint de la clé du serveur). Répondre yes.
Si tout est correctement configuré, GitHub répondra :
Hi <username>! You've successfully authenticated, but GitHub does not provide shell access.
Cela signifie que la connexion SSH est fonctionnelle.
8. Configurer le dépôt Git pour utiliser SSH
Si le dépôt a été cloné en HTTPS, il faut changer l’URL du remote origin pour utiliser SSH.
1) Vérifier l’URL actuelle :
git remote -v
2) Remplacer par l’URL SSH de GitHub.
Le format d’une URL SSH GitHub est :
git@github.com:USERNAME/NOM_DU_DEPOT.git
Exemple :
git remote set-url origin git@github.com:mon-login/mon-depot.git
9. Tester le push avec SSH
Une fois l’URL SSH configurée, il suffit d’utiliser les commandes Git habituelles :
git add .
git commit -m "Mon premier commit en SSH"
git push
Si la configuration est correcte, le git push s’effectue sans demander de mot de passe GitHub ou de token.
Ce contenu est réservé aux membres du site. Si vous êtes un utilisateur existant, veuillez vous connecter. Les nouveaux utilisateurs peuvent s'inscrire ci-dessous.