紙媒体で知識や経験を管理すると無くなりがちなのでブログで管理することにしました.
      殆どの記事は自分自身のためだけに書いているため,他人に見せる前提の内容, 文章ではありません.
      また, ブログのコメント欄を解放していたらbotからの迷惑行為を受けたため現在コメント欄は解放しておりません.

【環境設定】自宅と職場でproxy設定するときの流れメモ

ブラウジング
Ubuntu 18.04 LTSの右上の設定からネットワーク→プロキシ→有効/ 無効の選択

【apt】

$sudo emacs /etc/environment
http_proxy="....."
https_proxy="....."

を; でコメントアウト

【git】
.gitconfigの[http], [https]の4行を; でコメントアウト
リモートリポジトリをBitbucketにしている場合は443ポートを用いるので, ~/.ssh/config を# でコメントアウトする.



現在はこのくらいしかプロキシの設定の必要のある操作をしないが, 一括でやる方法とかあるのだろうか?
特にブラウジングとgitは外出先で行うことが多い操作なので, gitconfigの設定をシステム全体のプロキシに適応させることとかできればラクな気がする.
おそらくできるだろうけどやり方がわからん.