Как мне разрешить дополнительный прокси

Question

Я загрузил и установил Ubuntu. Я ввел информацию http(s)_proxy в мой /etc/bash.bashrc а также в свой apt/apt.conf и это преодолело первое препятствие, но теперь я не знаю, как преодолеть второе.

Я успешно пинговал внутренние машины, и это прекрасно работает.

Я пытаюсь сделать пинг на "www.google.com" и получаю "неизвестный хост www.google.com"

когда я выполняю команду add-apt-repository ppa:, я прохожу первую часть и нажимаю ввод, затем я получаю

requesting key 4C9D234C from hkp server keyserver.ubuntu.com
?: keyserver.ubuntu.com: Host not found

Кто-нибудь может помочь мне преодолеть это препятствие?

Answer 1

Похоже, вашей системе не хватает правильно определенного DNS-сервера. Посмотрите на файл etc/resolv.conf, определен ли сервер имен? Если это так, удостоверьтесь, что он восстанавливается сам с помощью простой команды ping. Если нет, вы всегда можете добавить его с помощью простой записи, как

nameserver 8.8.8.8

Дополнительная диагностика может быть выполнена с помощью инструмента Dig