linux mint re-setup after clean installation

linux mint の調子がおかしくなったので、再インストールしたあとの現状復帰を大まかにまとめてみました。
Read more →

インドのビザ申請

インドに行くために初めての観光ビザを申請した話、途中リジェクトされるも、なんとかもらえました。
Read more →

スナップとスナイプ、そして集合写真

Read more →

Rustを触ってみよう

冬休みの間、何かプログラミングの勉強をしたくなったので、前から気になっていたRustを勉強してみることにした。勉強しながら感じたことをつらつらと書いてみました。特にまとまっていません。
Read more →

2019年 大晦日

Read more →

Bloggerからお引っ越し

BloggerからHugoに移行した話
Read more →

公立中高一貫校を知る会

Read more →

2018年 大晦日

Read more →

2017 大晦日

Read more →

/var/lib/docker の移動

docker のホストマシン容量不足対策。 docker をインストール後稼働していると、ディスクが足りなくなることがあります。 いらないイメージを削ればいいのですが、イメージが削れない状況もあると思います。 外部ディスクマウント後の容量食う /var/lib/docker の移動の仕方に関して記します。 docker 停止 /var/lib/docker を移す 設定ファイル変更 redhat系の場合 debian系の場合 ubuntu 16 の場合 docker 再起動 & 確認 docker 停止 sudo service docker stop /var/lib/docker を移す ディスク容量に余裕がある場所に /var/lib/docker を移す。(ここでは例として /mnt/extra/docker とする) インストール直後ぐらいなら、mv で、 安全にやりたいなら mkdir /mnt/extra/docker sudo rsync -aXS /var/lib/docker/. /mnt/extra/docker/ 設定ファイル変更 redhat系の場合 設定ファイル: /etc/sysconfig/docker (あれば追加で、なければ作成) echo other_args="-g /mnt/extra/docker" > /etc/sysconfig/docker debian系の場合 設定ファイル: /etc/default/docker

DOCKER_OPTS="-dns 8.8.8.8 -dns 8.8.4.4" DOCKER_OPTS="-dns 8.8.8.8 -dns 8.8.4.4 -g /mnt/extra/docker" と書かれていますが、手前の ubuntu 16 では動きませんでしたので

Read more →