Re: But wouldn't someone who wanted Cinnamon choose Mint in the first place?
I have to admit that I am becoming disillusioned with the whole GNU/Linux distro. environment.
I've been an Ubuntu user since Dapper Drake (6.06), which is what I moved to when the old Redhat Desktop releases stopped.
When the whole Unity/Mir thing kicked off, I nearly abandoned Ubuntu, trying Mint, and mainline Debian, and LDME, but decided that I liked where Ubuntu sat in the distribution hierarchy (sufficiently functional to mostly work out of the box, and not so far down the line that it was dependent on too many other distros.), and instead worked to use a desktop other than Unity, eventually settling on Gnome Fall/Failback.
This is now long in the tooth, and does not appear to play nicely with the most recent LTS X11 and older Nvidia cards that I have installed in some of my machines. Stupid things like systems not fully powering off or suspending correctly, and not getting the screen size from X11 correctly (this is quite a bizarre problem that makes full screen apps fall of the side of the screen that I've never seen before - and it does not seem to be a virtual desktop problem).
On my most powerful desktop, I've got Cinnamon on Ubuntu 20.04, but I'm not totally happy with it. I don't know what it is, and if I did, I'm sure I could change the config, but something in the font handling just looks... wrong.
My main laptop is still running Ubuntu 16.04, so is still running Gnome Fall/Failback, but as this has just dropped out of support, I need to do something. But systemd just pisses me off with it's complexity and lack of readable user documentation, and as always, the online blogs and stuff is now becoming out-of-date compared to the latest releases of systemd, making it difficult to sort the no-longer-useful stuff from the rest,
I have an old Acer Netbook as an ultra-portable for diag. work, which has limited memory, and I run Ubuntu with LXDE on that, but that always felt functional but a bit too cut-down.
I'm forced to use RHEL desktop and Gnome 3.82 on my client provided laptop, and still don't like the UI design choices and restrictions that Gnome impose on what you're allowed to do.
I've even dabbled with Devuan and Raspian (with their default GUIs), but somehow I move away from them and never go back (the Raspberry Pi is running in a PiDP11, so I actually have the GUI turned off on that system for most of the time).
Jake keeps telling me to look at Arch or even one of the *BSDs. Maybe I should finally do it, and then decide on the desktop afterwards. Maybe I should just accept that I'm getting too old for this game and go to a mainstream consumer OS, but this would betray my last 25 years of trying to get away from them.