How to Install Cinnamon Desktop 4.0 via PPA in Ubuntu 18.04

November 13, 2018 — 5 Comments


Linux Mint’s Cinnamon desktop has tagged its 4.0 release for more than a weeks. For those who want to try out new desktop release, here’s how to install Cinnamon 4.0 in Ubuntu 18.04.

Cinnamon 4.0 is not officially announced at the moment. It’s mentioned in the last Linux Mint blog post:

  • New panel layout, you’ll have the option to embrace the change or to click a button to make Cinnamon look just like it did before.
  • Ability to define a different icon size for each of the three panel zones
  • Mint-Y-Dark now is the default Cinnamon theme.
  • Support for mainline kernels was added to the Update Manager.
  • reduced system memory consumption, and various other changes.

Install Cinnamon 4.0 via PPA in Ubuntu 18.04:

1. Open terminal either via Ctrl+Alt+T keyboard shortcut, or from application launcher. When it opens, run command to add the PPA:

sudo add-apt-repository ppa:trebelnik-stefina/cinnamon

Type your password (no asterisks feedback) for sudo prompt and hit Enter to continue.

2. Then install Cinnamon desktop via command:

sudo apt install cinnamon

Once installed, log out and login with Cinnamon session.


To remove Cinnamon desktop, run command:

sudo apt remove --autoremove cinnamon cinnamon-desktop-data nemo

To remove the PPA, either go to Software & Updates -> Other Software, or run command:

sudo add-apt-repository --remove ppa:trebelnik-stefina/cinnamon

I'm a freelance blogger who started using Ubuntu 5+ years ago and wishes to share my experiences and some useful tips with Ubuntu beginners and lovers. Please notify me if you find any typo/grammar/language mistakes. English is not my native language. Contact me on Google Plus or email to

5 responses to How to Install Cinnamon Desktop 4.0 via PPA in Ubuntu 18.04

  1. Hi,

    I just want the latest Nemo file roller instead of GNOME Nautilus.
    I have Nemo v3.9.0 (BTW I think Nautilus is at 3.26, 3.30 is not out yet)
    Is there an ubuntu PPA that follows cinnamon latest nemo version or any other repo that I can install the latest Nemo from ?


  2. I’ve got some bugs after installing it. The desktop has no wallpaper, the icon set doesn’t seem right, the same for the window decorations. And I can’t get cinnamon-settings to open, because of some error.

  3. Are you planning to backport Cinnnamon 4.0 for Ubuntu 16.04?
    Or is there some other for that?

    Thanks in advance.

Leave a Reply

Text formatting is available via select HTML.

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>