I've run into various problems because my Ubuntu distro (which is the newest Ubuntu GNOME 13.10 distro) thinks it's using Ubuntu 14.04. To check this, I entered:
$ lsb_release -a
This got me:
No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu Trusty Tahr (development branch) Release: 14.04 Codename: trusty
However, this is NOT the Ubuntu version I am (or want to be, as for now) running.
One of the problems I'm running into is the fact that
software-properties-gtk is crashing when I try to start it, and I get the error:
Sorry, Ubuntu 14.04 experienced an internal error
When I try to run
software-properties-gtk in my terminal, I get:
aptsources.distro.NoDistroTemplateException: Error: could not find a distribution template for Ubuntu/trusty
which is strange. Any thoughts on the matter would be greatly appreciated.