Bien que le sous-système Windows pour Linux (WSL) soit un moyen pratique d'exécuter des distributions Linux avec Windows 11 ou Windows 10, la machine virtuelle légère continuera à fonctionner en arrière-plan même lorsque vous quittez le shell de commande, en utilisant nécessairement les ressources système.
Si vous préférez mettre fin à la distribution Linux (Ubuntu, Kali, Debian, Mint, etc.) dès que vous avez fini de l'utiliser ou que vous devez la redémarrer, vous pouvez utiliser un wsl.exeoutil de ligne de commande pour fermer manuellement une ou toutes les distributions. .
Dans ce guide , vous apprendrez les étapes pour arrêter les distributions Linux exécutées sur la plate-forme WSL2 sous Windows 10 et Windows 11.
Mettre fin à une distribution Linux sur WSL
Pour mettre fin à une distribution Linux sur WSL s'exécutant sur Windows 11 ou Windows 10, procédez comme suit :
Ouvrez Démarrer .
Recherchez Invite de commandes (ou PowerShell ), cliquez avec le bouton droit sur le résultat supérieur et sélectionnez l' option Exécuter en tant qu'administrateur .
Tapez la commande suivante pour afficher toutes les distributions WSL en cours d'exécution et appuyez sur Entrée :
wsl --list --verbose
Tapez la commande suivante pour arrêter la distribution Linux sur Windows 11 ou Windows 10 et appuyez sur Entrée :
wsl -t NOM-DISTRO
Dans la commande, remplacez DISTRO-NAME par le nom de la distribution que vous souhaitez arrêter, comme indiqué à l'étape n° 3 . Par exemple, wsl -t Ubuntu-20.04.
(Facultatif) Tapez la commande suivante pour confirmer que la distribution n'est plus en cours d'exécution et appuyez sur Entrée :
wsl --list --verbose
Une fois les étapes terminées, la distribution s'exécutant sur le sous-système Windows pour Linux s'arrêtera correctement. Vous pouvez toujours répéter les étapes pour mettre fin à d'autres distributions ou utiliser les étapes ci-dessous pour toutes les fermer.
Mettre fin à toutes les distributions Linux sur WSL
Pour arrêter toutes les distributions WSL exécutées sur Windows 10 (ou 11), procédez comme suit :
Ouvrez Démarrer .
Recherchez Invite de commandes (ou PowerShell ), cliquez avec le bouton droit sur le résultat supérieur et sélectionnez l' option Exécuter en tant qu'administrateur .
Tapez la commande suivante pour afficher toutes les distributions WSL en cours d'exécution et appuyez sur Entrée :
wsl --list --verbose
Tapez la commande suivante pour arrêter les distributions Linux sur Windows 11 ou 10 et appuyez sur Entrée :
wsl --shutdown
(Facultatif) Tapez la commande suivante pour confirmer que la distribution n'est plus en cours d'exécution et appuyez sur Entrée :
wsl --list --verbose
Après avoir terminé les étapes, toutes les distributions WSL se termineront immédiatement.
Si vous devez redémarrer la distribution Linux, rouvrez-la simplement à partir du menu Démarrer, de l'invite de commande ou de PowerShell à l'aide de la wsl --distribution DISTRO-NAMEcommande - remplacez DISTRO-NAME par le nom réel de la distribution avant d'exécuter la commande.
Voici comment nettoyer l'installation de Windows 11 à partir de l'USB, de l'outil de création de média, de la réinitialisation de ce PC, du montage de l'ISO sur un SSD ou un disque dur sur votre ordinateur portable ou votre ordinateur de bureau.
PowerShell vous permet de changer rapidement le mot de passe de n'importe quel compte local Windows 11 avec quelques commandes, et voici comment.
Si les résultats Web sur la recherche Windows 10 ne vous conviennent pas, utilisez ce guide pour désactiver la fonctionnalité de la version 1803 modifiant le registre. Voici comment.
Sous Windows 11 ou Windows 10, vous pouvez exporter les applications installées dans un fichier JSON à l'aide de la commande winget. Vous pouvez également importer des applications. Étapes ici.
Pour supprimer la section Recommandé du menu Démarrer de Windows 11, activez la section Supprimer les recommandations de la stratégie de groupe du menu Démarrer.
Pour autoriser un fichier ou une application qui a été bloqué par Microsoft Defender Antivirus, suivez ces étapes sur Windows 10.
Windows Terminal 1.6 a une nouvelle interface utilisateur de paramètres et voici comment activer l'expérience pour modifier les paramètres sans modifier le fichier settings.json.
Pour ouvrir un emplacement de dossier à partir de l'explorateur de fichiers dans l'invite de commande en tant qu'administrateur, vous devez modifier le registre pour ajouter l'option de menu contextuel.
Pour corriger la connexion à distance avec un compte Microsoft pour accéder au dossier partagé ou au bureau à distance sur Windows 11, procédez comme suit :
Vous pouvez effacer le disque dur et réinstaller Windows 10 de deux manières à l'aide de l'option Réinitialiser ce PC ou d'une clé USB. Voici comment.
Lorsque vous obtenez l'une des erreurs 0xC1900101 en essayant d'installer Windows 10, cela signifie généralement des problèmes de pilote - Voici comment résoudre le problème.
Sous Windows 10, les erreurs 0xC1900200 - 0x20008 et 0xC1900202 - 0x20008 signifient que votre PC ne répond pas aux exigences minimales. Vérifier la résolution du problème
Pour permettre aux scripts de s'exécuter sur PowerShell, vous devez modifier la stratégie d'exécution. Le Set-ExecutionPolicy RemoteSigned autorise les scripts.
Pour DÉSINSTALLER un PILOTE sous Windows 11, utilisez l'application Paramètres, le Panneau de configuration ou le Gestionnaire de périphériques. Voici les instructions pour chaque méthode.
Pour activer le mode IE sur Microsoft Edge, vous pouvez utiliser de nouveaux paramètres de compatibilité ou l'éditeur de stratégie de groupe. Voici comment sur Windows 11 ou 10.
Si Windows 10 affiche Ces fichiers peuvent être dangereux pour votre ordinateur ou Nous ne pouvons pas vérifier qui a créé ce message de fichier, utilisez ces correctifs.
Sous Windows 11, vous pouvez ramener le menu ruban classique dans l'explorateur de fichiers, et voici comment en modifiant le registre.
Le terminal Windows vous permet de modifier la police globalement et individuellement pour chaque console, et voici comment procéder.
Le programme de désinstallation du pilote d'affichage supprime complètement les pilotes graphiques Nvidia et AMD lorsque d'autres échouent ou que vous souhaitez une suppression complète sous Windows 10.
Macrium Reflect est un excellent outil pour le clonage de disque, que vous remplaciez un disque dur par un SSD ou que vous créiez une sauvegarde complète. Voici comment l'utiliser.
Le curseur de la souris est-il en retard sur votre Mac ? Si le problème vous frustre, voici quelques solutions simples que vous pouvez essayer de résoudre.
Essayez-vous d'utiliser le point d'accès mobile sur les téléphones Samsung Galaxy, uniquement pour recevoir des erreurs en retour ? Voici comment réparer le point d'accès mobile qui ne fonctionne pas sur les téléphones Samsung Galaxy.
Vous voulez savoir comment désactiver la navigation privée Safari sur votre Mac ? Voici comment vous pouvez personnaliser votre expérience de navigation rapidement et efficacement.
Vous voulez rendre votre police WhatsApp différente ? Vous pouvez pimenter vos messages texte avec ces trucs et astuces créatifs pour les textes WhatsApp.
Votre HomePod n’apparaît-il pas dans l’application Maison par défaut ? Voici les meilleures façons de réparer le HomePod qui n’apparaît pas dans l’application Accueil.
Votre téléviseur Samsung ne parvient-il pas à se connecter au Wi-Fi ? Voici les meilleures façons de réparer le téléviseur Samsung qui ne se connecte pas au Wi-Fi.
Meilleurs adaptateurs HDMI pour MacBook Air et MacBook Pro en 2024 : 1. Adaptateur HDMI RayCue, 2. Adaptateur Benfei USB-C vers HDMI, 3. Anker USB-C...
Vous rencontrez des problèmes sur votre Deck et souhaitez le réinitialiser ? Consultez notre guide complet pour savoir comment réinitialiser correctement votre Steam Deck en usine.
Vous recherchez un nouvel ordinateur portable convertible 2-en-1 à acheter ? Consultez notre examen approfondi de l’ordinateur portable HP Envy x360 15 (2023) pour voir s’il correspond à la facture.
Voyons en détail ce qu'est la session privée Spotify et comment vous pouvez l'activer ou la désactiver sur l'application de bureau et mobile Spotify.
