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

Prover package: the elevated setup window stays open

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-josh 2026-10-04 09:26:31 +01:00
parent 3308de6839
commit 91befa0862
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -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
}