WSL(Windows Subsystem for Linux)を講義で使用しているが、標準ではproxy切り替えのGUIツールがなく.bashrcの設定をいちいと書き直すのも手間がかかるのでスクリプトを作成した。proxy.shがプロキシ設定、noproxy.shがプロキシ設定解除。なお、切り替えスクリプトだけではaptコマンドとgitコマンド用の設定が必要。以下の作業はUbuntu端末で実行してください。 切り替えスクリプト proxy.shの中身は以下のスクリプト。プロキシ―サーバー名とポート番号はご自分の環境に変更する必要あり。KITの場合は情報処理サービスセンターのウェブサイトから調べることができる。なお、スクリプトは簡易的なプログラミング言語で機械語へのコンパイルをしないで、直接実行できる。 #!/usr/bin/bash export ftp_proxy="ftp://プロキ