WSL

De The Linux Craftsman
Aller à la navigation Aller à la recherche

Introduction

Windows Subsystem for Linux (WSL) est une couche de compatibilité permettant d'exécuter des exécutables binaires Linux (au format ELF) de manière native sur Windows 10 et Windows Server 2019. wikipedia

Cela va permettre d'exécuter un terminal (bash) de manière native sur votre système Windows et les applications lancées par ce biais profiteront de toute la puissance que matériel peu offrir.

regardons comment activer cette fonctionnalité !

Activation

Il faut d'abord activer la fonctionnalité "Sous-système Windows pour Linux", soit dans un Powershell (en tant qu'administrateur):

Powershell enable wsl win10.png
Enable-WindowsOptionalFeature -Online -FeatureName Microsoft-Windows-Subsystem-Linux

Soit à travers l'interface graphique:

Add remove progs win10.png

Features and progs win10.png

Enable disable features win10.png

Wsl activation win10.png

Choix de la distribution

Il faut maintenant choisir une distribution Linux:

Installation en PowerShell

Une fois le fichier appx récupéré:

Download appx kali win10.png

Il suffit d'ouvrir un Powershell pour se déplacer dans le répertoire de téléchargement et lancer l'installation:

Powershell install appx win10.png

Install progress appx win10.png
> cd .\Downloads\
> Add-AppPackage .\kali-linux-08-06-2019.appx

Avec un exécutable

Dans le cas de CentOS, pas besoin de lancer un Powershell, il suffit de décompresser l'archive et de lancer l'exécutable Centos wsl runnable.png en tant qu'administrateur. La première fois, l'exécutable créer les fichiers nécessaires et après, un terminal se lancera:

Centos wsl bash.png

Gérer les distributions WSL

Dans un Powershell, il est possible de lister les distributions installées

>wslconfig /l
Distributions du sous-système Windows pour Linux :
CentOS7 (par défaut)

Et de les supprimer:

>wslconfig /u CentOS7

Ajouter un point de montage Windows

Il peut être intéressant de monter une partition Windows sous Linux WSL. Tout d'abord il faut identifier la lettre de la partition à ajouter sous Windows (clé USB, carte SD, etc...). Dans cet exemple, nous allons:

  • monter le disque Windows G:
  • dans le point de montage /mnt/media (si le répertoire n'existe pas il faut le créer).
# mount -t drvfs G: /mnt/g