If you find yourself needing to check the details about your currently installed linux distribution, you can retrieve them by running the following in command in terminal

$ cat /etc/*release
DISTRIB_ID=Ubuntu  
DISTRIB_RELEASE=13.10  
DISTRIB_CODENAME=saucy  
DISTRIB_DESCRIPTION="Ubuntu 13.10"  
NAME="Ubuntu"  
VERSION="13.10, Saucy Salamander"  
ID=ubuntu  
ID_LIKE=debian  
PRETTY_NAME="Ubuntu 13.10"  
VERSION_ID="13.10"  
HOME_URL="http://www.ubuntu.com/"  
SUPPORT_URL="http://help.ubuntu.com/"  
BUG_REPORT_URL="http://bugs.launchpad.net/ubuntu/"