Création de la progression

src/cours/CIEL1/03-dev-env/conteneurs.md

@@ -0,0 +1,31 @@
+# Les conteneurs
+## Concept
+VM vs Conteneurs
+Qu'est-ce qu'un conteneur et à quoi ça sert
+Systèmes de conteneurisation : Docker, LXC, Podman...
+Conteneurs, images, registries
+## Utiliser Docker
+### CLI
+- Lancer/arrêter un conteneur avec une image existante
+- Les variables d'environnement
+- Les volumes
+- Le réseau dans docker, et les applications multi-conteneurs
+- Interagir avec un conteneur (accéder à un terminal)
+
+### Docker Compose
+- Le YAML
+- Configurer un ou plusieurs conteneurs avec un fichier
+
+## Créer une image docker
+A mon avis ambitieux, voir avec les collègues. Sinon rester basique.
+https://lycee-benoit.tech/BTS/_defrance/ciel/r3/docker/lab-docker-101.html#exo2
+
+
+# Orga
+## TP
+- Découverte de docker avec 1 puis 2 conteneurs (site web et ensuite db) et docker compose
+- Personnalisation d'une image et compilation + mise en route + destruction
+
+## Cours
+- Retour sur les conteneurs (après le premier TP)
+- Retour sur la fabrication d'images (après le second TP)

src/cours/CIEL1/03-dev-env/dev-env.md

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

src/cours/CIEL1/03-dev-env/forges.md

@@ -0,0 +1,15 @@
+# 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

src/cours/CIEL1/03-dev-env/git.md

@@ -0,0 +1,41 @@
+# Git
+
+## La gestion de version, concept
+### Concept
+### Autres systèmes de gestion de version vs git
+
+## Installer et paramétrer git à la première utilisation
+### Installation sous windows
+### Installation sous linux
+### Fichier gitconfig
+### Aide
+- Doc
+- man
+- git help
+
+## Bases
+### Démarrer un nouveau dépôt
+### Enregistrer une modification : commit
+### .gitignore
+### Voir l'historique
+### Revenir en arrière
+### Travailler avec un dépôt distant
+### Etiquetage
+
+## Branches
+### Concept
+### Brancher, fusionner
+### Comment bien utiliser le branches
+### Branches locales et branches distantes
+### Rebase
+
+## Git Cheat Sheet
+### Avant toute chose : lire la doc
+### Les commandes courantes
+
+# Organisation
+## TP
+- TP découverte de git
++ utilisation régulière dans les autres TP
+## Classe entière
+Première approche ou synthèse ?