Git / Docker / Linux
Guides pratiques pour développeurs
Résolvez un problème précis, vérifiez le résultat et comprenez les commandes utilisées.
- gitAnnuler un commit Git : reset, revert ou restore ?
Choisissez comment annuler un commit local, inverser un commit partagé ou retirer un fichier de l’index, avec un exercice reproductible.
- gitRésoudre un conflit Git merge, étape par étape
Reproduisez un conflit de fusion Git, modifiez le résultat, vérifiez le diff de l’index et terminez ou annulez la fusion.
- dockerLibérer de l’espace Docker sans supprimer les volumes
Examinez l’espace utilisé par Docker et choisissez un nettoyage ciblé des images, conteneurs ou caches tout en conservant les volumes.
- dockerDocker volume ou bind mount : lequel choisir ?
Comparez volumes Docker et dossiers de l’hôte, avec des exemples de persistance et de montage en lecture seule.
- linuxPermissions Linux : que signifient chmod 644 et 755 ?
Lisez les permissions numériques Linux, comprenez la traversée des dossiers et traitez fichiers et dossiers séparément.
- gitGit SSH : résoudre Permission denied (publickey)
Diagnostiquez l’authentification SSH GitHub : URL distante, clés chargées, empreinte du serveur et accès au dépôt.
- dockerDocker port already allocated : résoudre un port occupé
Identifiez le conteneur ou processus qui occupe un port Docker, choisissez un autre port hôte et vérifiez le service publié.