Articles taggés : WSL (Windows Subsystem for Linux)
Suivre WSL (Windows Subsystem for Linux)
Ils arrivent tout seuls dans votre lecteur de flux — sans compte, sans adresse e-mail, sans rien à résilier. Collez cette URL dans votre lecteur :
https://www.avonture.be/fr/blog/tags/wsl/rss.xmlVous lisez aussi l'anglais ? Le flux dans la langue d'origine suit l'intégralité du blog :
https://www.avonture.be/blog/tags/wsl/rss.xmlPas encore de lecteur de flux ? Commencez ici — ça prend deux minutes.
Le build cache Docker a avalé 180 Go — voici comment les récupérer →
Le build cache de Docker s'accumule silencieusement dans le disque virtuel VHDX de WSL2 — et Windows ne récupère jamais cet espace tout seul. Voici le correctif complet : trois étapes communes, puis une méthode de compactage qui dépend de vos droits d'administrateur local.
2 novembre 2026
ripgrep — l'outil de recherche qui a changé mon workflow WSL2 →
Découvrez ripgrep, l'alternative ultra-rapide à grep écrite en Rust. Installation sur Ubuntu/WSL2, configuration ZSH, fonctions shell pratiques et cas d'usage réels qui vont transformer votre façon de chercher dans le code au quotidien.
6 juillet 2026
Windows Terminal - Ajouter un profil SSH →
Ajouter un profil SSH à Windows Terminal pour se connecter rapidement à vos serveurs sans taper la commande SSH complète à chaque fois.
19 janvier 2026
Windows Terminal - Split Panes →
Apprenez à diviser les panneaux dans Windows Terminal pour un multitâche efficace ; raccourcis, astuces de configuration et exemples de workflow.
12 janvier 2026
Utiliser une image de fond dans votre console Windows Terminal →
Personnalisez votre Windows Terminal ! Suivez ce guide simple, étape par étape, pour définir une belle image de fond dans votre console et abandonner le vieil écran noir barbant.
24 avril 2025
SSH - Autosuggestions avec ZSH →
Obtenez des autosuggestions SSH instantanées dans ZSH. Apprenez à installer le plugin zsh-ssh-config-suggestions et à afficher tous les alias de votre ~/.ssh/config avec un simple appui sur TAB.
13 février 2025
Git - Quelques astuces pour votre fichier .gitconfig →
Personnalisez votre workflow Git avec des astuces essentielles pour le fichier ~/.gitconfig. Apprenez à créer un alias git undo, à gérer les branches distantes, à gérer les credentials et à forcer SSH.
11 septembre 2024
Ubuntu - Installation from scratch →
Installez Ubuntu Desktop 24.04 from scratch grâce à ce guide simple, étape par étape. Apprenez à désactiver Bitlocker, à créer une clé USB bootable et à contourner le bug d'installation des pilotes NVIDIA.
20 mai 2024
Windows Terminal →
Un guide complet de Windows Terminal. Découvrez comment l'installer, personnaliser les profils, utiliser des images de fond et configurer les paramètres pour WSL, Docker et l'ouverture de plusieurs onglets au démarrage.
1 avril 2024
Autosuggestions dans la console avec ZSH →
Boostez l'efficacité de votre console ZSH. Installez facilement le plugin zsh-autosuggestions et obtenez des suggestions de commandes intelligentes tirées de votre historique pendant que vous tapez.
29 mars 2024
La coloration syntaxique dans la console avec ZSH →
Améliorez votre console Zsh avec la coloration syntaxique ! Les commandes passent au vert (valides) ou au rouge (invalides) pendant que vous tapez. Guide d'installation rapide pour zsh-syntax-highlighting.
29 mars 2024
Comment installer Oh-My-ZSH →
Installez Zsh et Oh-My-ZSH facilement ! Apprenez à booster votre terminal Linux avec le thème Powerlevel10k, des fonctions comme take et les fonctionnalités indispensables au quotidien.
28 mars 2024
Personnalisez votre prompt Linux avec Powerlevel10k →
Testez et personnalisez le thème Zsh Powerlevel10k pour votre prompt Linux ou WSL dans un sandbox Docker jetable avant de vous lancer dans une installation complète.
31 décembre 2023
Lancer le programme Windows associé par défaut depuis WSL →
Découvrez la commande toute simple pour ouvrir des fichiers PDF ou HTML depuis votre console Linux WSL avec leur application Windows par défaut - powershell.exe.
27 décembre 2023
Créer votre site Joomla avec Docker - Partie 1 →
Apprenez à mettre en place rapidement votre site Joomla en local avec Docker. Ce guide pas à pas couvre Docker Compose, la configuration de la base de données (MySQL/MariaDB) et le lancement de vos services.
22 décembre 2023
Utiliser les volumes avec Docker, cas d'usage →
Maîtrisez les volumes Docker pour ne plus perdre vos données ! Volumes gérés par Docker, volumes montés et cas d'usage concrets pour la persistance des données de vos containers.
22 novembre 2023
Déplacer WSL vers un autre emplacement →
Vous manquez d'espace sur le disque C ? Suivez ce guide pas à pas pour déplacer en toute sécurité votre distribution WSL (Windows Subsystem for Linux) et vos données Docker vers un autre disque, à l'aide des commandes wsl --export et wsl --import.
3 novembre 2023
Ouvrir votre dossier Linux dans l'Explorateur Windows →
Accédez à vos fichiers Linux dans l'Explorateur Windows ! Découvrez la commande toute simple pour ouvrir votre dossier WSL courant et comment corriger rapidement l'erreur « wsl.localhost is not accessible ».
3 novembre 2023
La façon la plus simple de lancer un script / site PHP →
La façon la plus simple de lancer un script ou un site PHP standard instantanément avec Docker. Une seule commande docker run et votre code est en ligne pour un test rapide.
2 novembre 2023
Ouvrir une connexion RDP vers l'instance Linux locale →
Apprenez à ouvrir une connexion RDP vers votre instance Linux WSLg (Ubuntu) pour obtenir un environnement de bureau graphique complet. Suivez ce guide pas à pas pour installer et configurer xrdp.
2 novembre 2023