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

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

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

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

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

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

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