Если для доступа к интернету вам следует пользоваться прокси-сервером, вы можете воспользоваться этой утилитой[22] для настройки доступа. Необходимые для настройки данные можно узнать у администратора сети. Вы также можете определить службы, доступ к которым следует осуществлять в обход прокси-сервера.
Из Википедии (4 сентября 2012 года), статья «Прокси-сервер»: «В компьютерных сетях прокси-сервером называется сервер (компьютерная система или программа), который работает промежуточным звеном для запросов от клиентов, которые выполняют поиски ресурсов на других серверах. Клиентская система соединяется с прокси-сервером, посылает запрос относительно определенной службы, в частности данных файла, соединения, страницы или другого ресурса на другом сервере. Прокси-сервер обрабатывает запрос с целью упрощения и управления сложностью запроса.»
[22] Запустить эту программу можно с помощью терминала: достаточно ввести команду drakproxy от имени администратора (root).