micro editorをインストール

Micro は軽量でインストールが簡単なエディタ。最小限のコンテナではvimが入っていなかったりするので、軽く調査したいときにこれを持ってきて使っている。

curl https://getmic.ro | bash

curl -LO https://github.com/zyedidia/micro/releases/download/v2.0.13/micro-2.0.13-linux64.tar.gz
tar -zxvf micro-2.0.13-linux64.tar.gz