ubuntu proxy 設定

会社のネットワークやクローズドな環境でUbuntuを使う場合、プロキシサーバーを通さないとインターネットに出られないことがあります。apt update が失敗する、curl や wget でURLが取得できない、git clone がタイ…