Hmm, that's a bit crap. I used ubuntu on the work box. You might find it or debian will do the job.peppermint doesn't give me the option - any suggestions?
While we're talking Linux, how do you safely switch settings between installs? Just copy the user directory?