From 02737c1420fd7349114ad41ff576105009c3ca52 Mon Sep 17 00:00:00 2001 From: jipodine Date: Thu, 19 Dec 2024 00:10:54 +0100 Subject: [PATCH] windows: be sure to install a recent version of Linux --- setting-up-the-dev-machine.md | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/setting-up-the-dev-machine.md b/setting-up-the-dev-machine.md index d247cd9..f68f174 100644 --- a/setting-up-the-dev-machine.md +++ b/setting-up-the-dev-machine.md @@ -29,7 +29,18 @@ Install also the following packages: The _dotpi_ system will run inside the `Windows Subsystem for Linux`, `WSL`. It requires `Windows` version 10 or 11, and allows the run an almost complete `Linux` system within `Windows`. -The first time, run a `Windows PowerShell` as administrator, and install a `Linux` distribution. +The first time, run a `Windows PowerShell` as administrator. + +Update `WSL` : + +``` +PS C:\Users\spamm> wsl --update +Checking for updates. +The most recent version of Windows Subsystem for Linux is already installed. +PS C:\Users\spamm> +``` + +Then, install a recent `Linux` distribution. (Ubuntu 24 is known to work.) ``` PS C:\Windows\system32> wsl --install Ubuntu