PowerShellの起動時にproxyを設定するスクリプト（切替式）

背景

接続環境によりproxyを使ったり使わなかったりするので、そのたびに設定するのが面倒だったので、起動時のスクリプトにした。

概要

PowerShellの起動時に実行されるprofileにスクリプトを書く PowerShellの起動時にproxyを使うか使わないか選択する

スクリプトの配置

PowerShellの以下のコマンドでprofileの場所を確認する

$profile

たぶん~\Documents\WindowsPowerShell\Microsoft.PowerShell_profile.ps1などになると思うので、なければフォルダとファイルを作成する

スクリプト

$flag = $FALSE
do {
    $input = Read-Host "Use proxy? (y/n)"
    if ($input -eq "y") {
        $env:HTTP_PROXY="{proxy server:port}"
        $env:HTTPS_PROXY="{proxy server:port}"
        Write-Output "proxy"
        $flag = $TRUE
    } elseif ($input -eq "n") {
        Write-Output "no proxy"
        $flag = $TRUE
    } else {
        Write-Output "error"
    }
} while ($flag -eq $FALSE)

実行イメージ

PowerShellを起動

Windows PowerShell
Copyright (C) Microsoft Corporation. All rights reserved.

Use proxy? (y/n): y
proxy
パーソナル プロファイルとシステム プロファイルの読み込みにかかった時間は 6994 ミリ秒です。
>