Problemi risoluzione nomi host

[SaraMenozzi]

Salve a tutti,
sono nuova del forum e avrei bisogno di un aiuto.
Ho installato Ubuntu 10.10 su virtual box senza problemi, ma ho iniziato subito ad avere difficoltà nell'eseguire la procedura di installazione del software OpenNMS

come da istruzioni nel loro sito ho crato il file opennms.list poi ho cercato di caricare la chiave GPG e questo è il risultato

sic@VirtualUbuntu:~$ wget -O - http://debian.opennms.org/OPENNMS-GPG-KEY | sudo apt-key add -
--2010-11-22 16:21:28--  http://debian.opennms.org/OPENNMS-GPG-KEY
Resolving debian.opennms.org... failed: Name or service not known.
wget: unable to resolve host address `debian.opennms.org'
gpg: no valid OpenPGP data found.
sic@VirtualUbuntu:~$

é solo un problema di DNS o c'è sotto dell'altro?
Premetto che mi connetto a internet da una rete aziendale e quindi devo passare attraverso un proxy che necessita di autenticazione.
Cosa devo fare per configurare l'accesso tramite il proxy??

Grazie in anticipo per l'aiuto

Sara

[il_muflone]

unable to resolve host address riguarda soltanto il dns, quello devi configurarlo a prescindere.

se oltre il dns hai pure un proxy, devi configurare anche quello.

[mapreri]

inizia con il configurare il proxy:
Vai su Sistema>Prferenze>Proxy di rete
Qui configura il tuo proxy. Puoi inserire i dettagli di autenticazione nella voce dettagli.