2019-04-15から1日間の記事一覧
背景 接続環境によりproxyを使ったり使わなかったりするので、そのたびに設定するのが面倒だったので、起動時のスクリプトにした。 概要 PowerShellの起動時に実行されるprofileにスクリプトを書く PowerShellの起動時にproxyを使うか使わないか選択する ス…
背景 接続環境によりproxyを使ったり使わなかったりするので、そのたびに設定するのが面倒だったので、起動時のスクリプトにした。 概要 PowerShellの起動時に実行されるprofileにスクリプトを書く PowerShellの起動時にproxyを使うか使わないか選択する ス…