Довольно давно пользуюсь Mint. В последнее время в 14ой версии тоже достало безобразие в виде различных глюков Cinamon. Дома попробовал уже и 4ые кеды, но явно не мое. Сейчас думаю еще попробую 15ый минт. Релиз кандидат в принципе уже можно ставить. Ожидаю только более подробной инфы о нем. Останавливает сокращенный срок поддержки последней убунты и думаю как это повлияет на минт, как потомка убунты?
Для себя в настоящий момент вижу несколько вариантов.
1. Linux Mint 15 — как уже сказал жду внятных описаний дистра.
2. LMDE (Linux Mint Debin Edition) — тот же минт, но основан на дебиане. Скользящий выпуск релиза, то к чему сейчас планирует перейти убунта.
3. Debian 7 — вариант перейти к «отцу основателю» как то подогревает в последнее время. Придется все настраивать ручками. Не будет свистелок минта. (хотя и их можно прикрутить))
Из оболочек можно посмотреть в сторону xfce4. Конечно потяжелее LXDE, но все таки не гном или кеды.