I use Mint 17 Mate Edition--Mate is the fork of Gnome 2. It just works and gives me a familiar interface. You might want to check out guake as a terminal and g

I use Mint 17 Mate Edition--Mate is the fork of Gnome 2. It just works and gives me a familiar interface. You might want to check out guake as a terminal and gnome do as a quicksilver replacement.