Я собираюсь предположить, что ваши настройки прокси-сервера являются URL-адресом сервера в кампусе, что, вероятно, означает, что вы используете PAC-скрипт . Если ваши настройки прокси не состоят из URL, игнорируйте этот ответ.
Firefox должен работать нормально, если вы установите системные настройки прокси на этот URL, и он будет использовать системные настройки.
Увы, системные настройки просто передают URL-адрес сценария приложениям, запрашивающим, каким должен быть прокси-сервер, в то время как браузеры и другие приложения, совместно использующие кодовые базы браузера (например, Thunderbird), вполне удовлетворены сценариями PAC, большинство приложений - нет. Это включает в себя многие из основных приложений системы.
Если ваша конфигурация прокси-сервера доставляется с помощью сценария PAC, лучше всего загрузить ее с помощью браузера и прочитать ее в поисках реальных адресов и портов прокси-серверов. Затем используйте их, чтобы заполнить ручные настройки прокси, которые должны работать для большего количества приложений.