!とりあえず proxy
がちがちに締められた環境で，一台だけ外に出られるサーバを頼りにマシンのセットアップ．
そのサーバをルータにして外にでられるようにすればいい，と思ったのだが，
もしやらかしてしまって外からログインできなくなったら困るので，それはだめ，という前提．


とりあえず，頼みの綱のサーバに，ばくっとsquidをインストール．
 sudo apt update
 sudo apt squid
適当なところに /etc/squid/squid.conf
 http_access allow all
とか書いてしまう．


クライアントでは，
 export http_proxy=http://サーバ:3128
 export https_proxy=http://サーバ:3128
とかする．面倒なので，
 sudo -s
して作業してしまうことに．


Dockerでも使いたいので，
https://docs.docker.com/engine/install/ubuntu/ の手順でDockerをインストールした後で，
 EDITOR=vi systemctl edit docker
として設定ファイルを開いて
 [Service]
 Environment = 'http_proxy=http://サーバ:3128' 'https_proxy=http://サーバ:3128'
とか．
一般ユーザがそのまま使えるように，dockerグループに自分を追加しておく


これだけだとdocker composeでは，プロキシを使ってくれなくて，
DockerfileのFROM行からすぐにコケてしまう．


docker composeでもプロキシ使うためには，
~/.docker/config.json に
 {
     "proxies": {
         "default": {
             "httpProxy": "http://10.9.200.3:3128",
             "httpsProxy": "http://10.9.200.3:3128"
         }
     }
 }
と書く．
再ログインしたらプロキシ使ってくれるようになった．


作業おわったところでプロキシは終了
 sudo systemctl disable squid
 sudo systemctl stop squid