maj pour 2023

git_tutorial.md

 % Introduction à Git
 % Orestis Malaspinas
-% commit c7d620ad88348eedc9e71b8c0606ae04dcffe46c
+% commit 3a65d2329ce68e3cdbfb7ba70ce964a19ddd3d86
 
 # Qu'est-ce que Git?
 
@@ -41,6 +41,14 @@ Mais, typiquement un projet git possède un serveur "officiel" (centralisé):
 
 ![Avec un serveur central](figs/comm_normal.svg){width="80%"}
 
+# A hepia
+
+* <https://gitedu.hesge.ch>, instance de `gitlab`.
+* **Attention:** `gitlab` ou `github` ce n'est pas `git`.
+* Connection aux repos via `https` (identifiants à rentrer à chaque fois) ..-
+* ou via `ssh`.
+* Configurons ça ensemble: `ssh-keygen`.
+
 # Exemple de fonctionnement
 
 ## Création du dépôt et clone
@@ -128,7 +136,7 @@ To ssh://ssh.hesge.ch:10572/orestis.malaspin/tutorial.git
 ## Recommandations
 
 
-* Faire des *commits* réguliers (ne pas attendre d'avoir un projet qui fonctionne compèlètement).
+* Faire des *commits* réguliers (ne pas attendre d'avoir un projet qui fonctionne complètement).
 * Mettre des messages de *commit* qui font du sens.
 * Éviter d'ajouter de fichiers binaires (prennent de la place).
   * Les fichiers binaires sont générables par l'utilisateur du projet.
@@ -434,7 +442,7 @@ Git voit les fichiers dans trois états possibles:
 2. *untracked*, un fichier qui n'a pas été `add` ou `commit`.
 3. *ignored*, un fichier qui est explicitement ignoré par git.
 
-## Certains fichiers ne doivent pas être `addables`
+## Certains fichiers ne doivent pas être *addables*
 
 * Ils doivent *explicitement* être ignorés.