2013-10-13 proxy経由でapt-getする設定 linux /etc/apt/apt.conf.d/に80proxyというファイルを作成すればいいらしい。 環境変数見てくれないのかー。 詳細は↓ Ubuntu-Proxy設定 - PukiWiki