Archives for Linux
Docker sous Windows (WSL 2) sans Docker Desktop
Docker Desktop pour Windows permet d'améliorer grandement le confort des développeurs qui utilisent Docker sous Windows. Pourtant, il est possible d'utiliser Docker sous Windows avec WSL 2 sans Docker Desktop…
Docker Desktop avec WSL2
La mise à jour de Windows 10 en version 2004 est en cours de déploiement. Si vous êtes développeur, elle devrait vous intéresser car elle permet d'utiliser WSL 2. Cette…
Comment faire simplement un tutoriel vidéo du terminal ?
Parfois, une courte vidéo est bien plus parlante qu'un long texte avec des lignes de code. C'est pourquoi, je me suis récemment mis à la création de tutoriels vidéo sous…
xmlstarlet – manipuler du XML en shell
A l'époque où le JSON est roi, ce billet fait un peu tâche, non ? Pourtant le XML est toujours là, plutôt côté serveur, bien discret. Et même s'il n'est…
Installer un Raspberry Pi Zero sans périphérique
Il est loin le temps, où l'on montait un média center de salon à base de carte mère au format mini-ITX de 17x17cm et surtout sans ventilateur. Aujourd'hui, le Raspberry…
Piloter Play With Docker avec Docker Machine
Vous avez besoin de faire des tests sur Docker ? Connaissez-vous Play With Docker, connu également sous le nom Docker Playground ou sous le trigramme PWD ? Ce service gratuit…
MSYS – éviter l’évaluation des arguments comme des chemins
Si vous êtes sous MS Windows et que vous faites du Bash ou autres scripts en ligne de commandes, vous utilisez sûrement MSYS. Dans ce cas, n'avez-vous pas rencontré quelques…
Docker – réduire la taille de vos images Node.js
Pour mon image Docker de l'api:Console, j'utilisais l'image officielle de Docker qui elle-même se base sur une Debian Jessie. L'image finale avait une taille virtuelle de 301 Mo. Solomon Hykes,…
Libérer l’espace disque pris par Docker – le retour
Fort de votre expérience sur la gestion des couches des images Docker, vous prêtez attention aux couches des conteneurs arrêtés. Soit en créant un conteneur avec l'option --rm, soit en…
jq – manipuler du JSON en shell
JSON par-ci, JSON par-là. Le format de données JSON a conquis le monde du développement. Il a l'avantage d'être lisible par les humains et il est supporté par la plupart…