With the new version of Linux Mint, released Wednesday, the developers behind the open source Linux distribution have put all energies behind Gnome, offering two versions of the desktop interface.