Если прокси-сервер в сети кампуса 192.168.0.1:3128, то установите настройки прокси в терминале и добавьте в файл .bash_profile (в корневом каталоге) следующее:
//---------------------
http_proxy=192.168.0.1:3128
ftp_proxy=192.168.0.1:3128
экспортировать http_proxy
экспортировать ftp_proxy
//---------------------
а затем выполнить
источник .bash_profile
Проверьте, прошла ли настройка успешно
[root@localhost ~]# echo $http_proxy
192.168.0.1:3128
[root@localhost ~]#
Чтобы проверить, успешно ли это, воспользуйтесь инструментом загрузки wget.
[root@localhost ~]# wget http://mdsx.wxedu.net/teacher/lulp/pic/04.mp3
--10:06:01-- http://mdsx.wxedu.net/teacher/lulp/pic/04.mp3
=> `04.mp3'
Подключение к 192.168.0.1:3128... Подключено.
Запрос прокси отправлен, ждём ответа... 200 ОК, длина:
4 701 622 [аудио/MPEG]
100%[============>] 4 701 622 635,27 тыс./с Расчетное время прибытия 00:00
10:06:09 (584,74 КБ/с) — сохранен файл «04.mp3» [4701622/4701622]
Примечание. Прокси-сервер 192.168.0.1 должен быть настроен в соответствии с конкретными условиями вашей локальной сети. Как видно из вышеизложенного, проверка прошла успешно.