igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

Prover package: strip the UTF-16 nulls from the WSL distro list so an installed Ubuntu is detected

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-04 08:28:39 +00:00
parent 51e1330233
commit e5c7f3d0ef
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
proving/windows-wsl2/setup-prover.ps1
View file

@ -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)."