I am typing this on Mint just now.
The Cinnamon UI is nice to look at, and doesn't seem to be aimed at tablet users (this does my head in - I am sure 90% of people work at a desktops all day, not a tablet). But I found it would randomly start hogging the CPU and I never worked out why.
I am on XFCE now, and its fast and stable (though doesn't look quite a pretty).
Re:Ask HN: Switching from OS X to Linux
by neiltholland on Thursday February 19, 2015 @10:13AM
(#9074397)
Another Mint fan here. After years of trying various distos and being decidedly <meh> each time, Mint was a very pleasant surprise.
For your "mini-command-line" utility, I'd recommend picking up Guake terminal, and using the very easy hotkey mapper to map opening the terminal to something dead easy, like LeftAlt+Space. Guake is totally configurable, but with those simple hotkeys, you'll get a terminal. When you're ready to switch back, hit the hotkeys again and it will hide the terminal (keeping your session live). It supports multiple terminal tabs, which you can also switch between with a configurable hotkey (I use Ctrl+Shift+o and Ctrl+Shift+p to move left and right, respectively). Of course the display is ultimately configurable, too, so you can have it docked basically anywhere, transparent if you'd like, or as big or as small as you'd like. Highly recommended.