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