WSL向けのWindowsポートフォワード設定スクリプトが動かなくなった - @ledsun blog のでバッチファイルをやめてPowerShellで書き直しました。 $port = 8000 if (([Security.Principal.WindowsPrincipal][Security.Principal.WindowsIdentity]::GetCurrent())…