うちの学校はプロキシサーバ経由で ネットへつながっています．自宅のつもりで，コマンドラインからネットに アクセスするのを叩いたら，全く応答なし． そりゃそうですよね．というわけで，調べた． 下記の方法でプロキシを設定します． export http_proxy=…