Comment arrêter les distributions Linux sur WSL

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 :

  1. Ouvrez Démarrer .

  2. 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 .

  3. Tapez la commande suivante pour afficher toutes les distributions WSL en cours d'exécution et appuyez sur Entrée :

    wsl --list --verbose

  4. 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

    How to shutdown Linux distros on WSL

    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.

  5. (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 :

  1. Ouvrez Démarrer .

  2. 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 .

  3. Tapez la commande suivante pour afficher toutes les distributions WSL en cours d'exécution et appuyez sur Entrée :

    wsl --list --verbose

  4. Tapez la commande suivante pour arrêter les distributions Linux sur Windows 11 ou 10 et appuyez sur Entrée :

    wsl --shutdown

    How to shutdown Linux distros on WSL

  5. (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.



Effectuez une installation propre de Windows 11 de six manières différentes

Effectuez une installation propre de Windows 11 de six manières différentes

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.

Comment changer le mot de passe à laide de PowerShell sur Windows 11

Comment changer le mot de passe à laide de PowerShell sur Windows 11

PowerShell vous permet de changer rapidement le mot de passe de n'importe quel compte local Windows 11 avec quelques commandes, et voici comment.

Comment désactiver la recherche Web sur Windows 10 version 1803

Comment désactiver la recherche Web sur Windows 10 version 1803

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.

Comment exporter et importer des applications avec Winget sur Windows 11, 10

Comment exporter et importer des applications avec Winget sur Windows 11, 10

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.

Comment supprimer la section Recommandé de Démarrer sur Windows 11

Comment supprimer la section Recommandé de Démarrer sur Windows 11

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.

Comment autoriser un fichier ou une application bloquée sur Microsoft Defender Antivirus

Comment autoriser un fichier ou une application bloquée sur Microsoft Defender Antivirus

Pour autoriser un fichier ou une application qui a été bloqué par Microsoft Defender Antivirus, suivez ces étapes sur Windows 10.

Comment activer linterface utilisateur des paramètres sur Windows Terminal

Comment activer linterface utilisateur des paramètres sur Windows Terminal

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.

Comment ouvrir linvite de commande en tant quadministrateur à partir de lexplorateur de fichiers sur Windows 11

Comment ouvrir linvite de commande en tant quadministrateur à partir de lexplorateur de fichiers sur Windows 11

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.

Comment résoudre le problème de connexion à distance avec un compte Microsoft sur Windows 11

Comment résoudre le problème de connexion à distance avec un compte Microsoft sur Windows 11

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 :

Comment réinstaller Windows 10

Comment réinstaller Windows 10

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.

Comment corriger les erreurs 0xC1900101 sur Windows 10

Comment corriger les erreurs 0xC1900101 sur Windows 10

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.

Comment corriger les erreurs 0xC1900200 et 0xC1900202 sur Windows 10

Comment corriger les erreurs 0xC1900200 et 0xC1900202 sur Windows 10

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

Comment changer la politique dexécution pour exécuter des scripts sur PowerShell

Comment changer la politique dexécution pour exécuter des scripts sur PowerShell

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.

Comment désinstaller les pilotes sur Windows 11

Comment désinstaller les pilotes sur Windows 11

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.

Comment activer le mode IE sur Microsoft Edge

Comment activer le mode IE sur Microsoft Edge

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.

Comment corriger lavertissement de sécurité daccès aux fichiers réseau sur Windows 10

Comment corriger lavertissement de sécurité daccès aux fichiers réseau sur Windows 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.

Comment activer le menu ruban classique de lExplorateur de fichiers sur Windows 11

Comment activer le menu ruban classique de lExplorateur de fichiers sur Windows 11

Sous Windows 11, vous pouvez ramener le menu ruban classique dans l'explorateur de fichiers, et voici comment en modifiant le registre.

Comment changer le type de police par défaut sur Windows Terminal

Comment changer le type de police par défaut sur Windows Terminal

Le terminal Windows vous permet de modifier la police globalement et individuellement pour chaque console, et voici comment procéder.

Comment désinstaller complètement le pilote graphique à laide de DDU sous Windows 10

Comment désinstaller complètement le pilote graphique à laide de DDU sous Windows 10

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.

COMMENT CLONER UN DISQUE DUR WINDOWS 10 VERS UN NOUVEAU SSD À LAIDE DE MACRIUM REFLECT

COMMENT CLONER UN DISQUE DUR WINDOWS 10 VERS UN NOUVEAU SSD À LAIDE DE MACRIUM REFLECT

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.

Comment arrêter le téléchargement automatique dans WhatsApp sur mobile et ordinateur

Comment arrêter le téléchargement automatique dans WhatsApp sur mobile et ordinateur

Découvrez comment arrêter les téléchargements multimédias automatiques dans WhatsApp sur mobile et sur ordinateur. Économisez du stockage et des données avec ces étapes simples.

7 façons de réparer les souvenirs Facebook qui ne fonctionnent pas

7 façons de réparer les souvenirs Facebook qui ne fonctionnent pas

Vous aimez parcourir d’anciennes publications sur FB, mais Facebook Memories ne fonctionne pas pour vous ? Découvrez pourquoi cela se produit et comment y remédier.

9 façons de corriger les notifications qui ne saffichent pas sur Mac

9 façons de corriger les notifications qui ne saffichent pas sur Mac

Les notifications sont-elles retardées ou ne fonctionnent-elles pas sur votre Mac ? Voici comment corriger les notifications qui ne s'affichent pas sur Mac.

6 façons de corriger le geste de double pression qui ne fonctionne pas sur Apple Watch

6 façons de corriger le geste de double pression qui ne fonctionne pas sur Apple Watch

Le geste de double pression ne fonctionne-t-il pas sur votre Apple Watch Series 9 ou Apple Watch Ultra 2 ? Découvrez ces 6 façons de résoudre le problème.

Comment mettre des émojis dans les noms des chaînes Discord

Comment mettre des émojis dans les noms des chaînes Discord

Vous cherchez à ajouter du style et de la personnalité à votre serveur Discord ? voici comment mettre des emojis dans le nom de la chaîne Discord rapidement et facilement.

5 meilleurs correctifs pour Center Stage ne fonctionnant pas sur iPad

5 meilleurs correctifs pour Center Stage ne fonctionnant pas sur iPad

Si la fonctionnalité Center Stage ne fonctionne pas pendant les appels vidéo sur votre iPad, voici quelques solutions efficaces pour résoudre le problème.

Comment inverser le sens de défilement sur Mac

Comment inverser le sens de défilement sur Mac

Vous souhaitez inverser le sens de défilement sur votre Mac ? Ou souhaitez une direction de défilement indépendante pour votre souris. Consultez notre guide pour savoir comment.

Comment utiliser la fonctionnalité multi-pistes audio de YouTube

Comment utiliser la fonctionnalité multi-pistes audio de YouTube

Voyons comment utiliser la fonctionnalité multi-pistes audio de YouTube et passer à une langue audio différente sur la même vidéo YouTube.

Comment vider le cache sur Spotify et que se passe-t-il lorsque vous le faites

Comment vider le cache sur Spotify et que se passe-t-il lorsque vous le faites

La suppression de Spotify résout les problèmes de lecture et libère de l'espace de stockage sur votre téléphone. Voici comment vider le cache sur Spotify.

Comment afficher et supprimer lhistorique musical de YouTube

Comment afficher et supprimer lhistorique musical de YouTube

Vous cherchez un moyen d’afficher et de supprimer votre historique YouTube Music ? Jetez un œil à cet article et nous vous montrerons comment faire !