Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've been having some trouble manually installing packages and so I was wondering if I can "trick" the GNOME 3 team's PPA to think I'm using Ubuntu 12.10, so I can install GNOME 3.6 software easily on Ubuntu 12.04.

Once it's done, though, I do want to change it back to 12.04 instead of the "fake" 12.10.

So, what this boils down to: How can I temporarily change my version identifier?

share|improve this question
Is there any reason why instead of using 13.10 which has GNOME 3.10 you are trying to mess with your package management? – Braiam Feb 7 '14 at 2:56
@Braiam 13.10 is only good for 9 months not 5 years. – davidbuddy9 Feb 7 '14 at 12:51
There's 14.04 around the corner with 5 year support too... – Braiam Feb 7 '14 at 12:58
up vote 4 down vote accepted

I would try adding the PPA the "normal" way (sudo add-apt-repository). Before running sudo apt-get update, I would open the /etc/apt/sources.list.d, and look for a file who's title resembles the ppa you added. As a root user, open the file with your favorite text editor, and replace all instances of the word precise, with quantal. Then, run sudo apt-get update, and install your desired packages. From there, change your ppa back, (or re-add with add-apt-repository), and run sudo apt-get update, to prevent other potentially problematic packages from installing.

share|improve this answer
Yes I can confirm this works! Thank you – davidbuddy9 Feb 7 '14 at 13:21

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.