Comment Comment by cjohansen Actually it's Linux Mint 10, but same Gnome setup :) (Also, Mint is just a slightly different wrapper on top of Ubuntu). parent cjohansen 15 years ago