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ée
pour 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-github
et 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.git
Vérifier que la remote a bien été ajoutée :
bashgit remote -v
- Vous devez voir une ligne contenant
origin
suivi 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.git
Ajouter un fichier
style.css
dans 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_BRANCHE
Cela évite les conflits et garde votre code à jour ! 🔄