Upgrade Ubuntu 13.04 to Linux Mint 15

ubuntu-to-mint.sh

# Updated version of Jeff Shaffner's instructions,
# http://jeffshaffner.wordpress.com/2012/09/27/how-to-convert-ubuntu-12-04-to-linux-mint-13/
# Run with "sudo sh ubuntu-to-mint.sh".

set -e
set -x

apt-get update && apt-get --yes upgrade

add-apt-repository "deb http://packages.linuxmint.com/ olivia \
    main upstream import backport romeo #Linux Mint 15"
apt-get --quiet update
apt-get --yes --allow-unauthenticated install linuxmint-keyring

apt-get update
apt-get --yes install mint-info-cinnamon mint-meta-cinnamon \
    mint-mdm-themes mdm cinnamon-themes deborphan synaptic