sorry forgot to add this. i ran the following command from terminal but no gpg key was found: > mary@mary-desktop:~$ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys F9CB8DB0 > [sudo] password for mary: > Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --secret-keyring /etc/apt/secring.gpg --trustdb-name /etc/apt/trustdb.gpg --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyserver keyserver.ubuntu.com --recv-keys F9CB8DB0 > gpg: requesting key F9CB8DB0 from hkp server keyserver.ubuntu.com > gpgkeys: HTTP fetch error 7: couldn't connect to host > gpg: no valid OpenPGP data found. > gpg: Total number processed: 0
