teaching: update Git info w/ caseness and git clone info
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Feb 2013 17:08:48 +0000 (18:08 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Feb 2013 17:08:48 +0000 (18:08 +0100)
teaching/1213/ed6/git.mdwn
teaching/1213/projlong/git.mdwn

index 652863f..d5ab943 100644 (file)
@@ -5,7 +5,12 @@ Hébergement Git sur git.upsilon.cc
 
 - créer une clé publique SSH avec [ssh-keygen](http://man.cx/ssh-keygen)
 - récupérer la partie *publique* de la clé, typiquement nommée `id_rsa.pub`
-- copier le sur un fichier avec nom `NOM-PRENOM.pub`, où "NOM" est votre nom de
-  famille et "PRENOM" votre prénom
+- copier le sur un fichier avec nom `nom-prenom.pub` (tout minuscule), où "nom"
+  est votre nom de famille et "prenom" votre prénom
 - envoyer un [mail à `zack@pps.univ-paris-diderot.fr` avec sujet `[ed6] clef ssh`](mailto:zack@pps.univ-paris-diderot.fr?subject=[ed6]%20clef%20ssh),
   ayant en pièce jointe une clé publique ssh nommée comme indiqué ci-dessus
+
+Une fois reçu confirmation que votre reṕository Git a été crée, vous pouvez en
+obtenir la copie initiale (vide) avec la commande suivante:
+
+    git clone git@git.upsilon.cc:teaching/1213/ed6/nom-prenom.git
index fcd6f31..3281663 100644 (file)
@@ -5,8 +5,8 @@ Hébergement Git sur git.upsilon.cc
 
 - créer une clef publique SSH avec [ssh-keygen](http://man.cx/ssh-keygen)
 - récupérer la partie *publique* de la clef, typiquement nommée `id_rsa.pub`
-- copier le sur un fichier avec nom `NOM-PRENOM.pub`, ou "NOM" est votre nom de
-  famille et "PRENOM" votre prénom
+- copier le sur un fichier avec nom `nom-prenom.pub` (tout minuscule), où "nom"
+  est votre nom de famille et "prenom" votre prénom
 
 **Chaque groupe** de projet doit:
 
@@ -14,4 +14,9 @@ Hébergement Git sur git.upsilon.cc
   contenant:
   1. pour chaque membre du group, une clef publique ssh en pièce jointe, nommée
      comme indiqué ci-dessus
-  2. le nom du projet souhaité
+  2. le nom du projet souhaité (tout minuscule aussi)
+
+Une fois reçu confirmation que votre reṕository Git a été crée, vous pouvez en
+obtenir la copie initiale (vide) avec la commande suivante:
+
+    git clone git@git.upsilon.cc:teaching/1213/projlong/nom-du-projet.git