From e5c7f3d0ef2b0b652a4700b1bb918ab26c5d9df0 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Sun, 4 Oct 2026 08:28:39 +0000 Subject: [PATCH] Prover package: strip the UTF-16 nulls from the WSL distro list so an installed Ubuntu is detected Co-Authored-By: Claude Fable 5.1 --- proving/windows-wsl2/setup-prover.ps1 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/proving/windows-wsl2/setup-prover.ps1 b/proving/windows-wsl2/setup-prover.ps1 index 401663f6b..ed8401544 100644 --- a/proving/windows-wsl2/setup-prover.ps1 +++ b/proving/windows-wsl2/setup-prover.ps1 @@ -20,7 +20,8 @@ if ($nv) { Write-Host 'NVIDIA driver on Windows:'; & nvidia-smi --query-gpu=name # Is the distro already installed? $installed = $false -try { $list = (& wsl.exe --list --quiet 2>$null) -join "`n"; if ($list -match 'Ubuntu-24\.04') { $installed = $true } } catch {} +try { $list = ((& wsl.exe --list --quiet 2>$null) -join "`n") -replace "`0", ""; if ($list -match "Ubuntu-24\.04") { $installed = $true } } catch {} +# (wsl.exe prints UTF-16; without the null strip PowerShell 5 never matches the name and step A repeats with ERROR_ALREADY_EXISTS.) if (-not $installed) { Write-Host "Step A: enabling WSL2 and installing $distro (download about 400 MB, approximate)."