jeudi 7 décembre 2023
« Une liste d'erreurs docker avec des explications et leurs résolutions.
»
jeudi 31 août 2023
« Un exemple de l'utilisation de l'instruction Healthcheck dans un
dockerfile ou un docker-compose, qui permet de personnaliser des vérifications de l'état de vos conteneurs docker.
»
jeudi 27 avril 2023
« Il est possible de tirer parti du cache Docker lors de la création d'images Docker dans CI/CD en utilisant --cache-from avec un compromis sur la pénalité potentielle de bande passante/vitesse pour le téléchargement de l'image précédente.
»
vendredi 14 avril 2023
« Toutes les commandes nécessaires pour maîtriser l'espace disque pris par docker sur votre système
»
jeudi 6 janvier 2022
« Un tutorial très clair qui explique un échec que l'on peut rencontrer sur macOS en passant de Docker à Podman (la transition est très facile sauf pour l'erreur "No space left on device" indiquée ici). Pas testé mais visiblement un problème similaire peut être rencontré avec Linux; une solution est documentée
ici.
»
jeudi 9 septembre 2021
« Une analyse des raisons qui ont conduit Docker à un échec commercial, malgré un apport technologique important.
»
lundi 3 mai 2021
« Un guide très didactique qui explique comment activer un environnement Conda dans une image Docker ainsi que les écueils à éviter.
»
mardi 2 mars 2021
« Comment déployer des environnements conda dans des conteneurs docker -- où l'on apprend qu'il est possible de se passer complètement d'une distribution linux.
»
mardi 12 janvier 2021
« Mode d'emploi pour limiter l'accès aux ressources (CPU et mémoire) quand on lance un conteneur docker sur une distribution Linux.
»
lundi 19 octobre 2020
« Un outil permettant de construire des images docker sans utiliser docker (mais en utilisant docker).
Concrètement, la construction des images n'exige pas un démon docker et peut donc se faire aisément à l'intérieur d'un conteneur. En particulier, c'est une façon commode de construire des images à l'intérieur de runners docker partagés dans un pipeline d'intégration continue.
»
lundi 25 mai 2020
« Un article sur le blog de Docker détaillant les 2 méthodes pour contruire des images Docker pouvant être utilisées sur différentes architectures, en particulier ARM.
»
mercredi 19 février 2020
« Un article qui m'a permis de résoudre un problème d'échec de commande
git clone de repository pourtant publics lors de la création d'une image Docker.
»
jeudi 30 janvier 2020
« Un article qui explique bien les problèmes que vous pouvez rencontrer lors de l'utilisation de l'image Docker Alpine pour Python.
»
jeudi 26 septembre 2019
« Différentes techniques de réduction de la taille d'une image docker qui utilise conda.
»
mardi 23 juillet 2019
« Un post de blog qui liste des conseils d'utilisation prenant en compte les changements les plus récents dans Docker (le
lien de la liste à jour des évolutions sur le site officiel est aussi donné en fin d'article). Le DOCKER_BUILDKIT accélère considérablement la construction d'images pour mon projet.
»
mercredi 8 mai 2019
« Microsoft va encore intégrer un vrai noyau Linux dans Windows 10; une conséquence est qu'il sera bien plus facile d'utiliser Docker sous Windows.
»
jeudi 18 avril 2019
« Je viens de découvrir l'option
--squash de la commande
docker build qui permet d'éliminer les données des couches intermédiaires qui ne sont plus présentes dans l'image finale. Cette feature introduite en janvier 2018 est encore expérimentale mais a très bien fonctionné pour moi, me permettant de gagner un facteur 2 à 5 sur la taille de mes images. On ne perd pas le bénéfice du cache pour autant.
»
jeudi 21 mars 2019
« Marcel, le Docker français -- une idée ingénieuse pour renforcer notre souveraineté numérique.
»
jeudi 13 décembre 2018
« Actuellement, les utilisateurs du GitLab Inria n'ont pas les privilèges nécessaires pour pouvoir construire leur image Docker depuis GitLab CI et les intégrer à la registry de leur projet. Voici comment le faire en utilisant l'outil de création de conteneur kaniko.
»
lundi 24 septembre 2018
« Depuis peu, le package manager de Windows "Chocolatey" propose des paquets pour installer et faciliter l'installation de docker sous Windows. Ce post de blog nous explique comment le faire.
»
jeudi 21 juin 2018
« Docker est pratique... quand utilise des images sûres!
»
mercredi 16 mai 2018
« Un article controversé qui discute l'utilisation de conteneurs Docker.
»
mercredi 10 janvier 2018
« Un article sur les différents environnements d'exécution de conteneurs, commençant par Docker et examinant les alternatives émergentes.
»
mercredi 10 janvier 2018
« Comment se débarrasser de l'utilisateur root dans un conteneur Docker et ainsi améliorer sa sécurité.
»
mercredi 13 décembre 2017
« Un post expliquant comment faire tourner sous macOS des applications graphiques Linux. J'ai par exemple créé en suivant ce bref tutorial
un Dockerfile pour lancer le Inkscape de Linux, qui a un meilleur rendu que l'installeur proposé sur le
site officiel.
»
vendredi 8 juillet 2016
« Un résumé de la DockerCon 2016. »
vendredi 5 février 2016
« Une alternative à GitLab pour héberger son propre service Git : Gogs (Go Git Service). »
vendredi 9 octobre 2015
« Ou comment faire de l'intégration continue sans passer par les services INRIA... »
vendredi 26 juin 2015
« Le besoin de disposer d'une distribution de système d'exploitation
stable ne va pas de paire avec le besoin, tout aussi important, de
travailler avec les versions les plus récentes des langages et des
bibliothèques logicielles dans son domaine d'intérêt.
Plusieurs solutions permettent de résoudre, au moins partiellement, ce
dilemme.
L'une d'entre elles s'appelle Docker et son utilisation est illustrée dans
ce billet. »