Changing port for apt-key
If adding ubuntu repos is failing because you are behind a firewall and the gpg key cannot be downloaded, specify port 80 as below: apt-key adv –recv-keys –keyserver hkp://keyserver.ubuntu.com:80 F3A662B57D580D3A2E98E5152A8E3034D018A4CE