From 062b252bf2dbef044f22f3e73d7c37a030264ad4 Mon Sep 17 00:00:00 2001 From: vicpsl Date: Wed, 6 Dec 2023 23:46:16 +0100 Subject: [PATCH] =?UTF-8?q?Mise=20=C3=A0=20jour=202024=2012=2006?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- commandes_memo.md | 12 ++++++++++-- cours-0/index.html | 7 ++++--- cours-0/slides.md | 7 ++++--- cours-1/index.html | 16 ++++++++-------- cours-1/slides.md | 12 ++++++------ cours-5/index.html | 3 ++- 6 files changed, 34 insertions(+), 23 deletions(-) diff --git a/commandes_memo.md b/commandes_memo.md index 4098ff3..30ca710 100644 --- a/commandes_memo.md +++ b/commandes_memo.md @@ -1,7 +1,7 @@ # 1. Commandes de bases de manipulation de dossiers / fichiers : - **Créer un dossier / répertoire** : `mkdir [nom du dossier]` -- **Lire un répertoire** : `ls -la` (pour lister également les fichiers cachés .git / .gitignore) +- **Lire un répertoire** : `ls -la` (-la pour lister également les fichiers cachés .git / .gitignore) - **Se déplacer dans un dossier** : `cd [adresse du dossier]` (Ex. `cd child` si l'on souhaite accéder au dossier 'child' du dossier parent où l'on se situe actuellement) - **Créer / éditer un fichier** : `touch [nom du fichier]` (créer un fichier vide sans ouvrir d'éditeur) - **Créer / modifier un fichier** : `nano [nom du fichier]` (ctrl+x pour quitter, sauvegarder avec O ou Y selon la langue + Enter) @@ -24,7 +24,7 @@ Suppression : attention à la suppression récursive du type rm -r ou tous les d - **Créer une branche** : `git branch [nom de la branche]` - **Se déplacer dans une branche** : `git checkout [nom de la branche]` - **Créer et se déplacer sur une nouvelle branche en même temps** : `git checkout -b [nom de la branche]` -- **Fusionner une branche** : `git merge [branche dont on veut les modifications]` (on fusionne toujours depuis la branche réceptrice, celle sur laquelle on veut continuer de travailler ensuite) +- **Fusionner une branche** : `git merge [branche dont on veut les modifications]` (on fusionne généralement depuis la branche réceptrice, celle sur laquelle on veut continuer de travailler ensuite) # 3. Créer un dépôt Github à partir d'un dépôt local @@ -77,6 +77,7 @@ Copie distante (et donc locale via un clone) avec possibilité de mise à jour d - `git pull --all` : **/!\\** mettre à jour immédiatement *toutes les branches liées* du dépôt local - `git push -u origin master` (voir 3) : **premier** push de synchronisation d'une branche locale vers le dépôt distant - `git push` (voir 3) : push de synchronisation d'une branche locale vers le dépôt distant +- `git fetch --all -p`: mets à jour les références locales vers les branches distantes (ex: si une branche distante a été supprimée, la commande va supprimer cette référence localement) sans toucher la branche locale # 7. **Pulls Requests** : mise à jour d'un dépôt distant entre branches1 ou entre un original (*upstream*) et son fork : 1 Comme un "merge" entre branches locales mais sur le dépôt distant. @@ -105,6 +106,13 @@ Git ne vous autorisera pas à supprimer la branche sur laquelle vous êtes, il f - **Supprimer dépôt distant** : `git push origin --delete [nom branche distante]` - **Forcer la suppression d'une branche non propre** (non *pushée* ou *mergée*) : remplacer -d par -D +Création d'"alias" (noms de commandes personnalisées) : +Pour créer un alias accessible dans tous vos repos : +- Sur le modèle : `git config --global alias.[nom de votre alias]adog "[commande git]"` +- Exemple intéressant : git config --global alias.adog "log --all --decorate --oneline --graph"` +Pour lancer la commande : un simple `git adog` suffit désormais : + +![](images/adog.png) diff --git a/cours-0/index.html b/cours-0/index.html index e6164d1..5acc057 100644 --- a/cours-0/index.html +++ b/cours-0/index.html @@ -3067,11 +3067,12 @@

Introduction à Git


Contenus du cours


@@ -3079,8 +3080,8 @@

Devoir

diff --git a/cours-0/slides.md b/cours-0/slides.md index 0b73980..69c5d62 100644 --- a/cours-0/slides.md +++ b/cours-0/slides.md @@ -13,10 +13,11 @@ Victor Boby # Contenus du cours -- 5 cours de 2h +- 4 cours de 2h - Git, commandes de base - GitHub: Collaborer et faire de l'open-source / data - Organisation de projet, bonnes pratiques + - eScriptorium --- @@ -24,5 +25,5 @@ Victor Boby - Création de set de données HTR en équipes sous la forme d'un dépôt GitHub. - Modalités : https://docs.google.com/document/d/1JIpAUSxpJg3DwjQrpogxDnAdIeMin-UDr1-U9ERvq3Y/edit# -- En équipe de 3 à 4 personnes -- Date de rendu : 31 mars 2023 +- 4 groupes de 4 personnes +- Date de rendu : Février - Mars 2024 TBC diff --git a/cours-1/index.html b/cours-1/index.html index 41dde8f..60ba307 100644 --- a/cours-1/index.html +++ b/cours-1/index.html @@ -3060,8 +3060,8 @@
  • 2bis. Problèmes combinés
  • 3. Problème(s)
  • 4. Git : un outil de versionnage
  • -
  • 5. Git : Principes généraux
  • -
  • 6. Git : Principes généraux
  • +
  • 5. Git : Principes généraux (le .git)
  • +
  • 6. Git : Principes généraux (les états des fichiers)
  • 7. Git : Commandes principales
  • 8. Changer les couleurs si difficiles à lire
  • 9. Importance des messages
  • @@ -3105,16 +3105,16 @@

    4. Git : un outil de versionnage


    -

    5. Git : Principes généraux

    +

    5. Git : Principes généraux (le .git)


    -

    6. Git : Principes généraux

    +

    6. Git : Principes généraux (les états des fichiers)

    On distingue trois “états” des fichiers

  • On évite d’inclure les fichiers périphériques au code (bibliothèques Python, etc) :
    - Ces dépendances sont souvent listées dans un fichier texte, et on les installe séparemment.
    + Ces dépendances sont souvent listées dans un fichier texte, et elles sont installées séparemment.
    Vous avez peut-être déjà croisé la commande pip install -r requirements.txt ?

  • diff --git a/cours-1/slides.md b/cours-1/slides.md index 3196f13..98286af 100644 --- a/cours-1/slides.md +++ b/cours-1/slides.md @@ -47,14 +47,14 @@ h3 { font-size: 1.2em; margin:0 0; padding:0 0; } - Date d'avril 2005, créé par le créateur du noyau Linux Linus Torvalds et par Junio Hamano - Sous licence libre GNU GPLv2 -- Version 2 actuellement +- Version 2.43 actuellement (novembre 2023) - Autres outils : - - connus : CVS, SVN (Subversion) + - connus : [CVS](https://fr.wikipedia.org/wiki/Concurrent_versions_system), [SVN (Subversion)](https://fr.wikipedia.org/wiki/Apache_Subversion) - moins connus : Mercurial, Bazaar --- -# 5. Git : Principes généraux +# 5. Git : Principes généraux (le .git) - Travail dans un *repository* (dépôt en français) == un dossier - Il contient un dossier (souvent caché) `.git` qui contient toutes les archives enregistrées @@ -66,7 +66,7 @@ h3 { font-size: 1.2em; margin:0 0; padding:0 0; } --- -# 6. Git : Principes généraux +# 6. Git : Principes généraux (les états des fichiers) On distingue trois "états" des fichiers @@ -136,11 +136,11 @@ Il possède d'ailleurs son propre système de compression. - base de données - les fichiers binaires, journaux, résultats de suivi ou données de diagnostic Ce sont des sorties de votre code, pas le code source lui-même. - Partagez ce type de ficheirs de suivi avec votre équipe via des outils de suivi/partage de fichiers. + Partagez ce type de fichiers de suivi avec votre équipe via des outils de suivi/partage de fichiers, non pas un dépôt de versionnage. - On évite d'inclure les fichiers périphériques au code (bibliothèques Python, etc) : - Ces dépendances sont souvent listées dans un fichier texte, et on les installe séparemment. + Ces dépendances sont souvent listées dans un fichier texte, et elles sont installées séparemment. Vous avez peut-être déjà croisé la commande `pip install -r requirements.txt` ? --- diff --git a/cours-5/index.html b/cours-5/index.html index 04fa308..f789823 100644 --- a/cours-5/index.html +++ b/cours-5/index.html @@ -3124,7 +3124,8 @@

    12. Documenter.


    Liens

    Hive Best Practices https://github.com/wearehive/project-guidelines pour Git

    -

    https://code.tutsplus.com/tutorials/top-15-best-practices-for-writing-super-readable-code–net-8118 pour le php

    +

    16 best practices for github

    +

    Conférence de Bridget Almas sur la chaîne YouTube de l’École