Я подключен к Интернету через прокси-сервер. Я использую установку Ubuntu и внес соответствующие изменения в сетевые настройки, в том числе в файлы /etc/bash.bashrc и /etc/apt/apt.conf. После внесенных мной изменений прокси-сервера я могу загружать файлы из репозиториев Ubuntu в Интернете.
Проблема, которую я хочу понять и решить, заключается в следующем: с терминала я могу проверить связь с адресами, к которым я подключен в моей интрасети. Однако я не могу пинговать адреса в Интернете! Почему это могло быть? Было бы очень полезно получить техническое объяснение. И как я могу обойти это и использовать такие команды, как wget, ping и т. Д. (Ни одна из которых не работает прямо сейчас), как при любом другом прямом подключении к Интернету?
Примечание. Я пробовал экспортировать переменную http_proxy с соответствующим именем пользователя и паролем для моего прокси-сервера, как показано здесь, но пинг по-прежнему не работает.