9 years ago
@mikefreeman and @LexMK I know and I use the ppa, and I would love a ppa as default (which is in the part "if there isn't some alternative way to install extensions that updates them like normal software" - I was thinking of the ppa when I wrote this). My thoughts were if not, an updater would be nice.
Guess this could be now rewritten as: "Include that PPA as default", which I agree with. Promoting.
There is a PPA: ppa:bimsebasse/cinnamonextras