GNOME Shellを「リスタート」して軽くしよう!

GNOME Shellがなんだか重くなって困ること、ありますよね。どうも、メモリリークする(使い終わったメモリが解放されない)バグがあるようです。

https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1672297
https://gitlab.gnome.org/GNOME/gnome-shell/issues/64

このバグの修正は近いうちに提供される模様ですが、今後も他のバグで重くなるかもしれませんし、「拡張機能」の動作不良が原因でGNOMEが重くなることもあるでしょう。

そんな時に使えるのが、GNOME Shellだけリスタートする以下の方法です。この方法なら、わざわざOSごと再起動したり、GNOMEからログアウトする必要はありません。

1. Alt+2を押して「コマンドを入力」を出す。
2. 「r」と入力する
3. Enterキーを押す

これだけです。画面中央に「再起動中…」と表示され、消えたらリスタート完了です。

Ubunt 18.04 LTSからはGNOME Shellがデフォルトになります。まだGNOME Shellに移行していない方も覚えておきましょう!