Gnome3が使いづらい&もっさりするのでCinnamonに変えたのでメモ。
まずはインストール。
sudo apt install -y cinnamon-desktop-environment
インストールしたら再起動。
再起動後、ログイン画面でユーザーを選択後、
右下の『ギア』型のアイコンをクリックして、[Cinnamon]を選択してからログイン。
これでCinnamonデスクトップ環境になる。
あと、パネルの時計フォーマットに日付と曜日を入れたいので、
カスタムフォーマットで
%Y/%m/%d %a %H:%M
を指定する。
ワークスペースの切り替えショートカットはこれ。
- Ctrl + Alt + ←/→ でワークスペース1〜4に切り替え
- Ctrl + Alt + ↑ でワークスペースのグリッド表示
- Ctrl + Alt + ↓ でワークスペース内のウインドウ一覧表示