Comment réinitialiser la distribution WSL2 Linux sur Windows 10
Si une distribution Linux sur WSL2 rencontre des problèmes ou si vous devez recommencer, vous pouvez la réinitialiser sans rien télécharger à nouveau. Voici comment.
Si une distribution Linux sur WSL2 rencontre des problèmes ou si vous devez recommencer, vous pouvez la réinitialiser sans rien télécharger à nouveau. Voici comment.
Vous pouvez mettre à niveau de WSL1 vers WSL2 et convertir des distributions sans les réinstaller, et voici comment procéder sous Windows 10.
Pour définir une distribution Linux comme système par défaut dans WSL2 (sous-système Windows pour Linux 2), utilisez la commande wsl --setdefault DISTRO-NAME.
Les utilisateurs de Windows 11 peuvent désormais télécharger le sous-système Windows pour Linux (WSL) à partir du Microsoft Store en tant qu'application.
Vous pouvez maintenant installer Microsoft Edge sur des distributions Linux comme Ubuntu, Debian et openSUSE, et voici comment procéder.
Vous pouvez désinscrire une distribution Linux sur WSL2 pour la réinitialiser aux valeurs par défaut, et voici comment vous pouvez le faire à l'aide de l'outil de ligne de commande WSL sous Windows 10
Utilisez la commande de montage WSL pour attacher des lecteurs de système de fichiers Linux (ext4) à Windows 11. Voici comment procéder.
Sous Windows 11, vous pouvez déterminer rapidement la version WSL installée en exécutant cette commande dans l'invite de commande.
Voici les étapes pour installer et exécuter des applications d'interface graphique Linux avec WSL sur Windows 10. Ce guide vous aide également à configurer facilement l'ensemble de l'environnement.
Arial, Verdana et Times New Roman : quel que soit le système d'exploitation que vous utilisez, vous avez probablement reçu des documents qui utilisent ces polices. La police Windows par défaut
Vous pouvez désormais utiliser OpenSSH sur Windows 10 pour vous connecter à des serveurs distants à l'aide de SSH sans avoir à installer d'outils tiers. Voici deux façons de procéder.
Pour réinitialiser une distribution Linux sur WSL pour Windows 11, vous pouvez utiliser l'option de réinitialisation dans Paramètres ou la commande WSL unregister. Voici comment.
WSL2 est une amélioration par rapport à la première version, mais si vous n'en avez pas besoin, vous pouvez le désinstaller complètement de Windows 10. Voici comment.
Vous pouvez utiliser l'outil Gparted basé sur Linux pour redimensionner, créer et supprimer des partitions sur Windows 11 et Windows 10, et voici comment.
Si vous ne savez pas si WSL2 ou WSL1 est installé sur votre ordinateur, utilisez cette commande dans l'invite de commande ou PowerShell.
Pour arrêter une ou toutes les distributions WSL Linux sous Windows 10 ou 11, vous pouvez utiliser ces deux variantes de la commande wsl.exe. Voici comment.
Utilisez ces instructions étape par étape pour installer Ubuntu Linux aux côtés de Windows 10 avec une configuration à double démarrage sur votre ordinateur.
Windows 10 versions 1909 et 1903 prend désormais en charge le sous-système Windows pour Linux 2. Pour l'obtenir, mettez à jour pour construire la version supérieure 18362.1049.
Pour désinstaller WSL sur Windows 11, supprimez les distributions, désinstallez la mise à jour du noyau et les composants de l'interface graphique, puis désactivez la plate-forme WSL. Voici comment.
Python est un langage de programmation relativement simple qui n'est pas trop difficile à prendre en main. Certaines fonctionnalités de Python ne sont pas incluses dans le Python principal Installez facilement un module Python à l'aide de PIP avec ces étapes détaillées.
Attention : ce tutoriel n'est pas destiné aux débutants. Ce didacticiel nécessite l'utilisation de commandes de terminal Raspian basées sur du texte, vous devrez donc au moins
Configurez l'applet de menu à votre guise pour trouver les applets plus rapidement. Obtenez une expérience plus personnalisée en effectuant ces modifications.
Accédez plus rapidement à vos fichiers en organisant les icônes du bureau à votre guise. Configurez votre bureau Linux pour profiter d'une expérience personnalisée.
Personnalisez votre menu de favoris dans Linux Mint en suivant les étapes de ce guide.
En 2016, Microsoft a fait une annonce étonnante lors de sa conférence annuelle des développeurs Build : il apportait le shell Linux Bash sur le bureau Windows* en tant que
Facilitez les choses en créant vos propres raccourcis clavier sur Linux Mint. Remplacez également les raccourcis déjà existants par vos propres combinaisons.
Configurez le fonctionnement d'Alt-Tab et obtenez une expérience beaucoup plus personnalisée. Utilisez les raccourcis comme vous le souhaitez quand vous le souhaitez.
Restez informé de ce qui est important pour vous avec les nouveaux desklets sur Linux Mint. Voyez comment vous pouvez en ajouter autant que vous en avez besoin.
Vous ne pouvez pas mettre tout ce dont vous avez besoin dans un seul espace de travail ? Découvrez comment vous pouvez créer un nouvel espace de travail sur Linux Mint et suivre toutes vos tâches.
Le navigateur Edge de Microsoft Chromium est désormais disponible sur Linux. Bien qu'il n'ait pas encore atteint la disponibilité générale, vous pouvez installer Edge à partir du « Canal de développement »