proxyの（古い）設定に対処する

以前、本学の学内LANではHTTPプロキシが運用されており、
- （Webブラウザなどの一般ユーザ向けアプリケーションはプロキシの必要があれば自動的に検出する仕組みがあるためこの問題について考慮する必要がない）
開発系のアプリケーションでは個別にプロキシの設定をする必要があった。
- そのため、一部の人はプロキシの設定を行って、今に至っている可能性がある。
現在は、プロキシが不要な環境になっているようだ。
さらに、そのプロキシの運用が停止しているため、以前の設定が残っているPCでは（以前とは逆に）接続に失敗するケースがある。
- TIMEOUT などのエラーメッセージが表示されることや、そのメッセージの中に 172.20 で始まるIPアドレスが表示されることで失敗がわかることが多い。
そのため、以前に行ったプロキシ設定を削除する必要がある。
- 以下のガイドに沿って実施して下さい。

ruby言語、python言語などをインストールして使っている人がこれに該当すると考えられます。
環境変数 proxy, http_proxy, https_proxy, ftp_proxy などが設定されているか確認ください。
```
set | find "proxy=" /i
```
もし設定されていれば、その環境変数を削除して下さい。

Node.js について：
```
npm config list
```
で、設定を表示させたときに、

http-proxy, https-proxy のような設定項目があればそれを消す。
- 表示された設定項目名（ = の左側）を下記のようなコマンドに当てはめて入力すると削除できる。
```
npm config delete 設定項目名
```
- ユーザ毎の設定でなく、グローバルな（ユーザを問わない共通の）設定が行われている可能性もある、そのときには、 --global フラグをつけて、
```
npm config --global delete 設定項目名
```
  か、または、設定ファイル（表示されている筈）を直接編集して削除する。
Atom について：
- Atomエディタ（node.jsで書かれているらしい）をインストールしてあると、apm コマンドが動作する。
- apm コマンドは npm と同じ（おそらく実体はほぼnpmだと推察される）なので、使い方も同じと考えていい。
- 前項の npm の部分を apm に読み替えて使ってみて下さい。
Git について：

（執筆中）