6/16(火)

Dockerで長時間buildすると親OSがcrasしてしまう、という問題があって色々調べてた。どうもGNOME terminalがcrashしてしまうっぽくて、試しにGuake Terminal入れて実行してみたら大丈夫だった。はー。Guake Terminalじたいは、動きが特殊で、これはこれで便利そうなのでちょっと試してみよう。