From 51e1330233736eae7efeb4d1ed68aa51e1034719 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Sun, 4 Oct 2026 08:26:31 +0000 Subject: [PATCH] Prover package: the elevated setup window stays open Co-Authored-By: Claude Fable 5.1 --- proving/windows-wsl2/setup-prover.ps1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proving/windows-wsl2/setup-prover.ps1 b/proving/windows-wsl2/setup-prover.ps1 index d87ae7142..401663f6b 100644 --- a/proving/windows-wsl2/setup-prover.ps1 +++ b/proving/windows-wsl2/setup-prover.ps1 @@ -8,7 +8,7 @@ $distro = 'Ubuntu-24.04' function Is-Admin { ([Security.Principal.WindowsPrincipal][Security.Principal.WindowsIdentity]::GetCurrent()).IsInRole([Security.Principal.WindowsBuiltInRole]::Administrator) } if (-not (Is-Admin)) { Write-Host 'Asking for administrator rights (WSL install needs them)...' - Start-Process powershell -Verb RunAs -ArgumentList @('-NoProfile', '-ExecutionPolicy', 'Bypass', '-File', "`"$PSCommandPath`"") + Start-Process powershell -Verb RunAs -ArgumentList @('-NoExit', '-NoProfile', '-ExecutionPolicy', 'Bypass', '-File', "`"$PSCommandPath`"") exit }