Ungol/ciel-b1
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Ajout du cours git et amélioration du TP

Browse source
This commit is contained in:
Alexis Fourmaux 2025-10-03 18:15:17 +02:00
parent 4bb94c88fc
commit 86414395c0
12 changed files with 547 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/cours/CIEL1/03-dev-env/dev-env.md
View file

@ -1 +0,0 @@
# L'environnement de développement

15
src/cours/CIEL1/03-dev-env/forges.md
View file

@ -1,15 +0,0 @@
# Les forges logicielles
## Git sur un serveur
### Local, HTTP ou SSH
### GitWeb --> ? à voir (+ installer un serveur git)
### Forgejo ? Install rapide avec docker pour la démo
## Travailler en groupe avec Git : git distribué
- notion de PR/MR
- Flux de travail
## Les plateformes
### GitLab
### GitHub
### Auto-hébergées

29
src/cours/CIEL1/03-git/code/main.py Normal file
View file

@ -0,0 +1,29 @@
def afficher_menu():
print("================================================")
print("CIEL - Générateur de mots de passe")
print("================================================")
if __name__ == "__main__":
choix = None
while choix != 0:
afficher_menu()
choix = int(input("Saisissez votre choix : "))
print("\n")
match choix:
case 1:
print("Mot de passe par défaut")
case 2:
print("Mot de passe personnalisé")
case 3:
print("Phrase de passe par défaut")
case 4:
print("Phrase de passe personnalisée")
case 0:
print("Vous quittez le programme")
case _:
print(f"Erreur : l'option {choix} n'existe pas")
if choix != 0 :
input("\n\nAppuyez sur Entrée")

139
src/cours/CIEL1/03-git/cours.md Normal file
View file

@ -0,0 +1,139 @@
# Git : Les bases
## Qu’est-ce que Git ?
- On utilise Git pour garder l’historique de tous les changements dans un projet.
- Vous pouvez revenir à une version précédente quand vous en avez besoin.
- Aide à travailler seul ou à plusieurs sur le même projet sans perdre de fichiers.
- Aide à organiser et sauvegarder votre travail de façon sûre.
## Démarrer avec Git
### Installer Git
- Aller sur [https://git-scm.com](https://git-scm.com) pour télécharger Git.
- Installer Git comme un programme standard.
- Vérifier l’installation avec la commande :
- `git --version`
- Si un numéro s’affiche, Git est bien installé.
### Configurer Git
- Configurer votre identité (nom et email) pour Git
- Cette étape se fait une seule fois sur votre ordinateur
```sh
git config --global user.name "Votre Nom"
git config --global user.email "votre.email@exemple.com"
```
### Créer un dépôt Git
- Choisir ou créer un dossier pour votre projet
- Aller dans ce dossier avec le terminal
- Initialiser Git dans ce dossier
- Git crée un dossier caché `.git` pour gérer l’historique et les fichiers
```admonish success title="À retenir"
~~~sh
git init
~~~
```
## Commandes essentielles Git
### 1. Voir l’état du projet avec `git status`
- Affiche les fichiers modifiés, nouveaux ou prêts pour le commit (= dans la zone de préparation)
```admonish success title="À retenir"
~~~sh
git status
~~~
```
```admonish example title="Exemple"
~~~sh
$ git status
Sur la branche main
Modifications non suivies :
(utilisez "git add <fichier>..." pour inclure ces fichiers au prochain commit)
modifié : mon_script.py
~~~
```
### 2. Ajouter des fichiers avec `git add`
- Placer un fichier dans la zone de préparation (staging area), prêt à être enregistré (commité)
```admonish success title="À retenir"
~~~sh
git add nom_du_fichier
~~~
```
### 3. Enregistrer avec `git commit`
- Créer un enregistrement (commit) du projet avec un message clair
```admonish success title="À retenir"
~~~sh
git commit -m "Message décrivant les changements"
~~~
```
### 4. Voir l’historique avec `git log`
- Affiche la liste des commits les plus récents en premier
```admonish success title="À retenir"
~~~sh
git log
~~~
```
```admonish example title="Exemple"
~~~sh
$ git log
commit abc123def456
Auteur: Marie Dupont <marie.dupont@email.com>
Date: Fri Oct 3 14:00:00 2025 +0200
Correction du calcul des scores
~~~
```
### 5. Comparer avec `git diff`
- Affiche les différences entre les fichiers modifiés et la dernière version enregistrée
- Sans option : compare fichiers modifiés non ajoutés au staging
- Avec `--staged` : compare fichiers en staging avec dernière validation
```admonish success title="À retenir"
~~~sh
git diff
git diff --staged
~~~
```
```admonish example title="Exemple"
~~~sh
$ git diff
--- a/mon_script.py
+++ b/mon_script.py
@@ -1,4 +1,5 @@
-print("Bonjour")
+print("Bonjour, monde !")
~~~
```
### 6. Étiqueter un commit avec `git tag`
- Créer une étiquette sur un commit pour repérer une version
```admonish success title="À retenir"
~~~sh
git tag nom_du_tag
# Ou
git tag nom_du_tag hash_du_commit
~~~
```
## Routine simple pour enregistrer vos changements
1. Modifier ou créer des fichiers dans le projet
2. Vérifier l’état avec `git status`
3. Ajouter les fichiers avec `git add nom_fichier`
4. Valider les changements avec `git commit -m "Message clair"`
5. Répéter régulièrement pour garder un historique propre

76
src/cours/CIEL1/03-git/cours2.md Normal file
View file

@ -0,0 +1,76 @@
# Git : commandes pour travailler avec des dépôts distants
- Un dépôt distant est situé sur une autre machine ou en ligne
- Il permet de partager votre travail et tout son historique avec d'autres personnes
- Il permet également de sauvegarder toute votre progression
## Copier un dépôt avec `git clone`
- Copier un projet déjà existant sur Internet ou un serveur.
- Télécharger tout le contenu du dépôt avec son historique.
- Créer un dossier local avec tous les fichiers prêts à être modifiés.
```admonish success title="À retenir"
~~~sh
git clone url_du_dépôt
~~~
```
## Envoyer ses changements avec `git push`
- Envoyer vos modifications locales vers le dépôt en ligne.
- Mettre à jour le dépôt partagé avec vos nouveaux commits.
```admonish success title="À retenir"
~~~sh
git push
~~~
```
## Récupérer les mises à jour avec `git pull`
- Prendre les dernières modifications du dépôt en ligne.
- Fusionner ces changements avec votre travail local.
```admonish success title="À retenir"
~~~sh
git pull
~~~
```
## Ajouter un dépôt distant avec `git remote add`
- Relier votre dépôt local à un dépôt en ligne (distant).
- Donner un nom à ce dépôt distant (souvent `origin`).
- Permettre d’envoyer (`push`) et de recevoir (`pull`) des fichiers.
```admonish success title="À retenir"
~~~sh
git remote add nom url_du_dépôt
~~~
```
```admonish example title="Exemple"
~~~sh
$ git remote add origin https://github.com/mon-projet.git
~~~
```
## Supprimer un dépôt distant avec `git remote remove`
- Retirer la liaison avec un dépôt distant.
```admonish success title="À retenir"
~~~sh
git remote remove nom
~~~
```
## Plateformes
Il existe plusieurs plateformes proposant d'héberger vos projets de code via git. Elles proposent généralement une interface web pour parcourir les projets, ainsi que de nombreuses autres fonctionnalités pour gérer les projets. Exemples :
- GitHub
- GitLab
- Codeberg
Gitlab et Codeberg s'appuient sur des logiciels open source : GitLab et Forgejo. Ces logiciels peuvent être installés sur des serveurs personnels ou d'entreprise pour avoir une plateforme interne à l'entreprise pour héberger le code.

16
src/cours/CIEL1/03-dev-env/git.md → src/cours/CIEL1/03-git/git.md
View file

@ -33,6 +33,22 @@
### Avant toute chose : lire la doc
### Les commandes courantes
# Les forges logicielles
## Git sur un serveur
### Local, HTTP ou SSH
### GitWeb --> ? à voir (+ installer un serveur git)
### Forgejo ? Install rapide avec docker pour la démo
## Travailler en groupe avec Git : git distribué
- notion de PR/MR
- Flux de travail
## Les plateformes
### GitLab
### GitHub
### Auto-hébergées
# Organisation
## TP
- TP découverte de git

133
src/cours/CIEL1/03-git/tp1.md Normal file
View file

@ -0,0 +1,133 @@
# TP – Découvrir Git
## Objectifs du TP
### Ce que vous allez faire
- Versionner le projet "Générateur de mots de passe"
### Ce que vous allez apprendre
- Découvrir le logiciel de gestion de versions Git
- Comprendre à quoi sert Git
- Installer le logiciel sur vos machines
- Créer un nouveau dépôt
- Créer un ou plusieurs commits
- Visualiser et manipuler l’historique
## Étapes
### 1 – Installation
**Objectif :** Installer git
```admonish travail
1. Aller sur le site officiel de git et télécharger l’installateur : [Download for Windows](https://git-scm.com/downloads/win)
1. Lancer l’installateur pour installer git
1. Choisir VSCode comme éditeur par défaut
1. Choisir l'option pour nommer les branches principales `main`
1. Choisir l’option `Only-ever fast-forward` comme comportement par défaut pour le `git pull`
1. Garder les options par défaut pour le reste
```
```admonish note title="Dans le compte rendu"
1. Résumer en 2 ou 3 phrases ce que fait git, grâce à la [documentation](https://git-scm.com/book/en/v2/Getting-Started-About-Version-Control).
1. Expliquer ce qu’est un système de gestion des versions.
```
### 2 – Créer un nouveau dépôt
**Objectif :** Créer un dépôt git
```admonish travail
1. Créer un dossier vide dans votre espace personnel
1. Ouvrir ce dossier avec VSCode
1. Ouvrir le terminal dans VSCode et taper la commande `git init`
1. Ouvrir le dossier dans l’explorateur Windows et afficher les fichiers cachés pour voir le dossier caché créé par git (ou utiliser la commande `dir -force` dans le terminal)
```
```admonish note title="Dans le compte rendu"
1. Expliquer ce que fait la commande `git init`, grâce à la [documentation](https://git-scm.com/docs/git-init)
1. Indiquer le nom du dossier caché créé par git
1. Expliquer ce qu’est un dépôt git
```
### 3 – Faire un premier commit
**Objectif :** Créer un commit
```admonish travail
1. Configurer git avec votre email et votre nom pour signer le travail :
- Taper `git config --global user.email "votre email"`
- Taper `git config --global user.name "Votre nom"`
1. Copier le fichier `main.py` fourni dans votre dossier de travail
1. Taper `git status` pour voir que git a détecté le nouveau fichier comme non suivi ("Untracked file")
1. Utiliser `git add` pour demander à git de suivre ce fichier. Vérifier le résultat avec `git status` (le fichier doit apparaître en vert)
1. Taper `git commit` pour enregistrer vos changements
- Écrire un commentaire court sur la première ligne (exemple : `Ajoute le programme principal`)
- Enregistrer et fermer l’éditeur quand c’est terminé
```
```admonish note title="Dans le compte rendu"
1. Expliquer ce que font les commandes suivantes en quelques lignes, grâce à la [documentation](https://git-scm.com/docs) :
- `git add`
- `git status`
- `git commit`
1. Expliquer ce que représente un "commit"
```
### 4 – Ajouter des modifications
**Objectif :** Enregistrer une modification avec git
```admonish travail
1. Taper la commande `git log` pour voir l’historique
1. Copier le code du bloc `À copier` en dessous et l'ajouter dans la fonction `afficher_menu` de `main.py`
1. Enregistrer, puis taper `git status` pour voir le changement
1. Taper `git diff` pour observer la différence
1. Utiliser la commande `git add -u` après avoir lu la [documentation](https://git-scm.com/docs/git-add#Documentation/git-add.txt--u) sur l’option -u
1. Vérifier le résultat avec les commandes `git status`, `git diff`, `git log`
1. Faire un commit avec `git commit`, écrire un message pour reconnaître ce nouveau commit, puis re-vérifier l’état avec les commandes déjà utilisées
```
```admonish abstract title="À copier"
~~~python
print("Quel type de mot de passe souhaitez-vous créer ?")
print("1 - Mot de passe avec configuration par défaut")
print("2 - Mot de passe avec configuration personnalisée")
print("3 - Phrase de passe avec configuration par défaut")
print("4 - Phrase de passe avec configuration personnalisée")
print("0 - Quitter\n")
~~~
```
```admonish note title="Dans le compte rendu"
1. Quel message de commit avez-vous mis ?
1. Quand vous tapez `git log`, quelles informations s’affichent ? Dans quel ordre ?
1. Expliquer ce que fait la commande `git diff`
1. Lister les étapes pour enregistrer une modification dans git. Expliquer pourquoi ces étapes sont séparées
```
### 5 – Manipuler l’historique
**Objectif :** Annuler ou restaurer des modifications
```admonish travail
1. Taper la commande `git diff HEAD^1` pour comparer les changements
1. Modifier votre fichier `main.py`, enregistrer, taper `git status` et tenter d’annuler la modification (indice: la commande à taper est donnée par `git status`)
1. Regarder la sortie de la commande `git log`
1. Taper `git reset HEAD^1` puis vérifier avec les commandes `git diff`, `git status`, `git log`
1. Faire un commit pour enregistrer la modification
```
```admonish note title="Dans le compte rendu"
1. Expliquer l’utilité de la commande `git restore`
1. Expliquer ce que font `git diff HEAD^1` et `git reset HEAD^1`. Préciser la signification de `HEAD^1`
```
## Ressources supplémentaires
- [Git book](https://git-scm.com/book/en/v2)
- [Git doc](https://git-scm.com/doc)
- [Git vidéos](https://git-scm.com/videos)

146
src/cours/CIEL1/03-git/tp2.md Normal file
View file

@ -0,0 +1,146 @@
# TP2 - Les branches et les dépôts distants
## Objectifs du TP
### Ce que vous allez faire
- Faire évoluer votre projet "Générateur de mots de passe"
### Ce que vous allez apprendre
- Manipuler les branches
- Travailler avec un dépôt distant
## Étapes
### 1 – Installation
**Objectif :** Installer git
```admonish travail
1. Aller sur le site officiel de git et télécharger l’installateur : [Download for Windows](https://git-scm.com/downloads/win)
1. Lancer l’installateur pour installer git
1. Choisir VSCode comme éditeur par défaut
1. Choisir l'option pour nommer les branches principales `main`
1. Choisir l’option `Only-ever fast-forward` comme comportement par défaut pour le `git pull`
1. Garder les options par défaut pour le reste
```
```admonish note title="Dans le compte rendu"
1. Résumer en 2 ou 3 phrases ce que fait git, grâce à la [documentation](https://git-scm.com/book/en/v2/Getting-Started-About-Version-Control).
1. Expliquer ce qu’est un système de gestion des versions.
```
### 2 – Créer un nouveau dépôt
**Objectif :** Créer un dépôt git
```admonish travail
1. Créer un dossier vide dans votre espace personnel
1. Ouvrir ce dossier avec VSCode
1. Ouvrir le terminal dans VSCode et taper la commande `git init`
1. Ouvrir le dossier dans l’explorateur Windows et afficher les fichiers cachés pour voir le dossier caché créé par git (ou utiliser la commande `dir -force` dans le terminal)
```
```admonish note title="Dans le compte rendu"
1. Expliquer ce que fait la commande `git init`, grâce à la [documentation](https://git-scm.com/docs/git-init)
1. Indiquer le nom du dossier caché créé par git
1. Expliquer ce qu’est un dépôt git
```
### 3 – Faire un premier commit
**Objectif :** Créer un commit
```admonish travail
1. Configurer git avec votre email et votre nom pour signer le travail :
- Taper `git config --global user.email "votre email"`
- Taper `git config --global user.name "Votre nom"`
1. Copier le fichier `main.py` fourni dans votre dossier de travail
1. Taper `git status` pour voir que git a détecté le nouveau fichier comme non suivi ("Untracked file")
1. Utiliser `git add` pour demander à git de suivre ce fichier. Vérifier le résultat avec `git status` (le fichier doit apparaître en vert)
1. Taper `git commit` pour enregistrer vos changements
- Écrire un commentaire court sur la première ligne (exemple : `Ajoute le programme principal`)
- Enregistrer et fermer l’éditeur quand c’est terminé
```
```admonish note title="Dans le compte rendu"
1. Expliquer ce que font les commandes suivantes en quelques lignes, grâce à la [documentation](https://git-scm.com/docs) :
- `git add`
- `git status`
- `git commit`
1. Expliquer ce que représente un "commit"
```
### 4 – Ajouter des modifications
**Objectif :** Enregistrer une modification avec git
```admonish travail
1. Taper la commande `git log` pour voir l’historique
1. Copier le code du bloc `À copier` en dessous et l'ajouter dans la fonction `afficher_menu` de `main.py`
1. Enregistrer, puis taper `git status` pour voir le changement
1. Taper `git diff` pour observer la différence
1. Utiliser la commande `git add -u` après avoir lu la [documentation](https://git-scm.com/docs/git-add#Documentation/git-add.txt--u) sur l’option -u
1. Vérifier le résultat avec les commandes `git status`, `git diff`, `git log`
1. Faire un commit avec `git commit`, écrire un message pour reconnaître ce nouveau commit, puis re-vérifier l’état avec les commandes déjà utilisées
```
```admonish abstract title="À copier"
~~~python
print("Quel type de mot de passe souhaitez-vous créer ?")
print("1 - Mot de passe avec configuration par défaut")
print("2 - Mot de passe avec configuration personnalisée")
print("3 - Phrase de passe avec configuration par défaut")
print("4 - Phrase de passe avec configuration personnalisée")
print("0 - Quitter\n")
~~~
```
```admonish note title="Dans le compte rendu"
1. Quel message de commit avez-vous mis ?
1. Quand vous tapez `git log`, quelles informations s’affichent ? Dans quel ordre ?
1. Expliquer ce que fait la commande `git diff`
1. Lister les étapes pour enregistrer une modification dans git. Expliquer pourquoi ces étapes sont séparées
```
### 5 – Manipuler l’historique
**Objectif :** Annuler ou restaurer des modifications
```admonish travail
1. Taper la commande `git diff HEAD^1` pour comparer les changements
1. Modifier votre fichier `main.py`, enregistrer, taper `git status` et tenter d’annuler la modification (indice: la commande à taper est donnée par `git status`)
1. Regarder la sortie de la commande `git log`
1. Taper `git reset HEAD^1` puis vérifier avec les commandes `git diff`, `git status`, `git log`
1. Faire un commit pour enregistrer la modification
```
```admonish note title="Dans le compte rendu"
1. Expliquer l’utilité de la commande `git restore`
1. Expliquer ce que font `git diff HEAD^1` et `git reset HEAD^1`. Préciser la signification de `HEAD^1`
```
### 6 – Etiqueter un commit
**Objectif :** Ajouter une étiquette ("tag")
```admonish travail
- Trouver le hash (identifiant) d’un ancien commit avec `git log`
- Créer une étiquette `my_tag` sur ce commit (vous aider de la [documentation](https://git-scm.com/docs/git-tag))
- Vérifier que l’étiquette apparaît dans l’historique avec `git log`
- Taper la commande `git switch --detach my_tag` puis vérifier la position avec le log
- Revenir à l’état précédent avec `git switch -`
```
```admonish note title="Dans le compte rendu"
- Expliquer ce que fait la commande `git switch` et son utilité
- Expliquer ce qu’est un "tag" git et à quoi cela sert (vous aider de la [documentation](https://git-scm.com/book/en/v2/Git-Basics-Tagging))
```
## Ressources supplémentaires
- [Git book](https://git-scm.com/book/en/v2)
- [Git doc](https://git-scm.com/doc)
- [Git vidéos](https://git-scm.com/videos)

0
src/cours/CIEL1/03-dev-env/conteneurs.md → src/cours/CIEL1/06-conteneurs/conteneurs.md
View file

0
src/cours/CIEL1/06-bases-de-donnees/bases-de-donnees.md → src/cours/CIEL1/07-bases-de-donnees/bases-de-donnees.md
View file

0
src/cours/CIEL1/07-appli-web/appli-web.md → src/cours/CIEL1/08-appli-web/appli-web.md
View file

14
src/cours/SUMMARY.md
View file

@ -21,14 +21,16 @@
- [Annexe - Visual Studio Code](./CIEL1/01-bases-python/annexes/vscode.md)
- [Annexe - Un peu d'anglais](./CIEL1/01-bases-python/annexes/anglais.md)
- [L'adressage IP](./CIEL1/02-reseau/cours/adressage-ip.md)
- [L'environnement de développement](./CIEL1/03-dev-env/dev-env.md)
- [Les conteneurs](./CIEL1/03-dev-env/conteneurs.md)
- [Git](./CIEL1/03-dev-env/git.md)
- [Les forges logicielles](./CIEL1/03-dev-env/forges.md)
- [Git](./CIEL1/03-git/git.md)
- [Git - Bases](./CIEL1/03-git/cours.md)
- [Git - Dépôts distants](./CIEL1/03-git/cours2.md)
- [TP1 - Découvrir Git](./CIEL1/03-git/tp1.md)
- [TP2 - Les branches et les dépôts distants](./CIEL1/03-git/tp2.md)
- [Le web statique](./CIEL1/04-web-statique/web-statique.md)
- [JavaScript](./CIEL1/05-web-js/web-js.md)
- [Bases de données](./CIEL1/06-bases-de-donnees/bases-de-donnees.md)
- [Une application web complète avec Python](./CIEL1/07-appli-web/appli-web.md)
- [Les conteneurs](./CIEL1/06-conteneurs/conteneurs.md)
- [Bases de données](./CIEL1/07-bases-de-donnees/bases-de-donnees.md)
- [Une application web complète avec Python](./CIEL1/08-appli-web/appli-web.md)
- [BTS CIEL - 2e année](./CIEL2/ciel2.md)
- [Révisions Python](./CIEL2/01-revisions-python/python-revisions.md)
- [Cours](./CIEL2/01-revisions-python/cours/python-bases.md)