Appearance
📝 TP 02 - Git et Github ​
🎯 Objectifs ​
✔ Création d'une clé SSH
✔ Découvrir le versionnement GitHub (push, pull, clone).
✔ Rejoindre le repository d'un collègue.
🔑 Étape 1 : Génération d’une clé SSH et connexion à GitHub ​
Générer une nouvelle clé SSH :
bashssh-keygen -t ed25519 -C "your_email@example.com"- Appuyez sur
Entréepour choisir l’emplacement par défaut. - Si demandé, définissez (ou non) une phrase de passe.
- Appuyez sur
Afficher la clé publique pour la copier :
bashcat ~/.ssh/id_ed25519.pub- Copier son contenu (tout le texte).
Ajouter la clé SSH à GitHub :
- Aller sur Github → Settings → SSH and GPG keys (Configuration des clés SSH).
- Cliquer sur New SSH Key → Coller la clé → Ajouter.
Vérifier la connexion avec GitHub :
bashssh -T git@github.com- Si tout est bien configuré, un message de bienvenue apparaît.
📤 Étape 2 : Associer un dépôt local à GitHub ​
Créer un dépôt GitHub distant :
- Aller sur GitHub → New Repository.
- Nommer le dépôt
tp-git-githubet cliquer sur Create Repository. - Ne pas initialiser avec un fichier README ou
.gitignore.
Retourner dans votre invite de commande Git Ă l'endroit ou vous avez votre projet Git.
Ajouter le dépôt distant GitHub :
bashgit remote add origin git@github.com:VOTRE-UTILISATEUR/tp-git-github.gitVérifier que la remote a bien été ajoutée :
bashgit remote -v- Vous devez voir une ligne contenant
originsuivi du lien SSH GitHub.
- Vous devez voir une ligne contenant
Envoyer le projet sur GitHub :
bashgit push origin main- Aller sur GitHub et vérifier que le code est bien en ligne.
Attention
Quand vous utilisez la commande précédente, vous poussez uniquement la branche main. Les autres branches ne sont pas disponibles depuis Github. Vous pouvez pousser toutes les branches d'un coup si vous souhaitez en utilisant la commande suivante :
bash
git push --all origin- Simuler un changement Ă distance :
- Modifier un fichier directement sur GitHub via l’interface web.
- Télécharger la modification en local :bash
git pull origin main
👥 Étape 3 : Collaborer sur un dépôt distant ​
Récupérer le TP de votre voisin.
- Exemple :
git@github.com:UTILISATEUR-VOISIN/tp-git-github.git.
- Exemple :
Cloner son dépôt :
bashgit clone git@github.com:UTILISATEUR-VOISIN/tp-git-github.gitAjouter un fichier
style.cssdans le projet de votre voisin pour mettre le background en rouge :- Commitez vos modifications et poussez-les sur le Github de votre voisin.
- Normalement vous allez recevoir un message d'erreur indiquant que vous n'avez pas les droits d'écriture.
- Demandez Ă votre voisin de vous ajouter en tant que collaborateur sur le projet
- Settings -> Collaborators -> Add people
Votre collègue récupère votre modification :
bashgit pull origin main
Tip 📢
Les modifications et commits que vous effectuez en local ne sont visibles que sur votre ordinateur.
💡 Tant que vous ne faites pas un git push, vos collègues ne peuvent pas voir votre travail sur GitHub !
✅ Pensez à pousser régulièrement votre code avec :
bash
git push origin NOM_DE_LA_BRANCHE🚀 Bonne pratique : Avant de pousser, récupérez aussi les dernières modifications des autres avec :
bash
git pull origin NOM_DE_LA_BRANCHECela évite les conflits et garde votre code à jour ! 🔄