Ubuntu 18.04がちょっと重い対策（gnome-shellのCPU使用率が高い)
Ubuntu 18.04に16.04からアップデートした後，PCを起動してみるとどうにも動作が重く感じる．
system-monitorを開いてみると，gnome-shellというのがCPU使用率の上位にいた．
といっても1%くらいなのだが，ずっと起動しているものだし使用率は低いに越したことはないので対処を調べた．
以前に比べたら改善されている
上記の質問は2018年5月くらいのものだが，質問者はCPU使用率が90%くらいということだ．
それに関してはissueがいくつか出ていたが，幸いにも現在は解決されていそうだ．
それでも重いときの対処
gnomeを再起動
Alt+F2でコマンドボックスを表示rを入力しEnter
これで再起動されるので，改善される事例があるみたい．
アニメーション無効化
tweakツールをインストール
sudo apt install gnome-tweaks
tweakツールを開き，アニメーションを無効化する．
多分CPU使用率にはあまり関係しないのだけど， 体感のもっさり感は緩和されるはず．
時間の秒の表記をやめる
以下のコマンドで時刻の秒の表記をやめる
gsettings set org.gnome.desktop.interface clock-show-seconds false
古いバージョンだと画面更新のリフレッシュの処理が重かったから？
ドライバのインストール
ubuntu-drivers autoinstall
nvidiaなど，何かのドライバが悪さをしていることがあるみたい．
その他
下記の記事は2017年3月頃のもので，解決していないようだが，いくつか対策が紹介されている．
GNOMEデスクトップだとCPUが高負荷になる - 有馬総一郎のブログ
結論
重いのは起動時だけなのでそのままにした．（有効な対処も無いようだし）
UIのリッチなアニメーションはあまり好きではないので，それだけOFFにした．
