December 11, 2013
First and foremost, compliments to TecMint.com for their How-To on the Mint upgrade. I’m posting my experience and results here.
Simple Upgrade:
$ sudo sed -i 's/raring/saucy/' /etc/apt/sources.list $ sudo sed -i 's/olivia/petra/' /etc/apt/sources.list $ sudo sed -i 's/raring/saucy/' /etc/apt/sources.list.d/official-package-repositories.list $ sudo sed -i 's/olivia/petra/' /etc/apt/sources.list.d/official-package-repositories.list
Then do this:
$ sudo apt-get update && sudo apt-get dist-upgrade $ sudo apt-get upgrade
Wait until it’s done, reboot and enjoy the new petra minty goodness
References: