Installing packages after adding this PPA: 1. Manually upgrade mutter: sudo apt install mutter=40.0-0shemgpubuntu6 -y 2. Manually upgrade gnome-shell: sudo apt install gnome-shell=40.0-0shemgpubuntu3 -y 3. Install gnome-session: sudo apt install gnome-session -y 4. Upgrade the rest: sudo apt upgrade -y 5. Reboot 6. Click your username then the gear icon to select GNOME or GNOME on Xorg session. Note: You might want to install fonts-cantarell too, to make the font weights correct.
Dash to Dock 拡張の導入
$ git clone https://github.com/ewlsh/dash-to-dock.git -b ewlsh/gnome-40 $ cd dash-to-dock $ make $ make install
Dash to Panel 拡張の導入
$ git clone https://github.com/philippun1/dash-to-panel.git -b update-to-gnome40 $ cd dash-to-panel $ make install