Whether the year of the Linux desktop is here or not, switching distros is still a pain. If you're planning to make a move to another Linux distribution, here's how I batch-install all my old ...