Para corrigir o problema com "Servidor não encontrado", você deve editar o servidor de nomes:
-
Abra este arquivo
gksudo gedit etc/resolvconf/resolv.conf.d/head
-
Adicione ao final do arquivo:
nameserver 8.8.8.8
com uma quebra de linha
O que acontece? Este servidor de nomes será escrito automaticamente no etc / resolv.conf E não tenho 100% de certeza do que aconteceu.