Liste des cours‎ > ‎

Introduction à git (10 octobre)


Notes de la première partie du cours

Pour cloner votre dépôt local à partir de votre dépôt sur les serveurs de COMELEC :
> git clone elecinf112@git.comelec.enst.fr:2013/PrenomNom.git (remplacer "PrenomNom" par votre prénom et votre nom en respectant bien la casse. Exemple : "Marc de la Forêt" - > ....fr:2013/MarcDeLaForet.git)

J'ai maintenant mon dépôt sous la forme d'un répertoire qui s'appelle PrenomNom, ce qui n'est pas très explicite. Je vais changer son nom en elecinf112, ce qui pour moi a plus de sens :
> mv PrenomNom elecinf112

Pour éviter d'avoir à taper en permanence votre clef privée :
> ssh-add

Pour voir l'historique de la branche sur laquelle vous êtes :
> git log

Le fichier .gitignore dans la racine du dépôt permet d'ignorer certains fichiers inutiles (les *.pyc par exemple). C'est un fichier texte que vous pourrez (devrez) éditer pour le compléter. Pour configurer vos noms et mails, une seule fois par "machine" et depuis n'importe quel répertoire :
> git-config --global user.name "Alexis Polti"
> git-config --global user.email "alexis.polti@telecom-paristech.fr"

Ces informations seront stockées dans le fichier ~/.gitconfig (que vous pouvez aussi éditer à la main si vous préférez).

Guide de survie de git

Je veux ajouter un serveur distant que j'appellerai origin:
> git remote add origin elec223@git.comelec.enst.fr:2013/PrenomNom

Va regarder ce qu'il y a sur le dépôt distant et rapatrie ici toutes les branches qui sont dessus :
> git fetch

Je veux voir les branches locales :
> git branch

Je veux voir toutes les branches (locales et distantes) :
> git branch -a

Je veux voir tout l'historique local de la branche courante :
> git log

Je le veux voir avec une belle application graphique :
> gitk

Je veux voir l'historique de la branche origin/master (c'est une branche distante) :
> git log origin/master

Je veux envoyer les changements de ma branche locale A sur la branche distante B du serveur distant origin :
> git push origin A:B

Je veux mélanger les changement de la branche origin/master dans ma branche actuelle :
> git merge origin/master

Et maintenant que j'ai mergé, je veux renvoyer mes changement sur la branche distante master du serveur origin :
> git push origin master

La branche master est la branche pas défaut, et origin le serveur par défaut, je peux abréger la commande ci-dessus :
> git push origin
> git push

Je veux cloner un dépôt distant :
> git clone elecinf112@git.comelec.enst.fr:2013/AliceCaron

Je veux prendre une pĥoto de certains fichiers :
> git add fichier1 fichier2 fichier3

Je veux stocker la dernière photo en date dans git :
> git commit

Un raccourci pour "git add + git commit" :
> git commit -a

Un raccourci pour "git fetch + git merge" :
> git pull origin master

... qu'on peut abréger en :
> git pull

Ċ
Alexis Polti,
28 nov. 2011 à 11:34