学校/会社のようなイントラネット環境でgemを使うときには、proxyを設定する必要がある。 そんなときのためにgemには-pオプションがあるのだけれども、プロキシはURI形式で書く必要があるというのに気づくのにえらく時間がかかってしまったので、メモってお…