From 91befa08627b47b549b46c044bc2789dc6a3cdc2 Mon Sep 17 00:00:00 2001 From: igneum-josh <337424239+igneum-josh@users.noreply.github.com> Date: Sun, 4 Oct 2026 09:26:31 +0100 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 }