Ubuntu 20.04: Cinnamonをインストール

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 + ↓ でワークスペース内のウインドウ一覧表示