Ubuntu 17.10や来月リリースの18.04には使用メモリがどんどん増えていくバグがあるそうな。 Umm, GNOME Shell Has a Rather Big Memory Leak - OMG! Ubuntu! UbuntuのバグではなくGNOME Shellのバグらしい。17.10使ってるけど気付かなかった。GNOMEユーザー…