Есть приложения, которые не работают над прокси. В прошлый раз, когда я попробовал Software Center, это не сработало. У диспетчера обновлений также есть проблемы с подключением к прокси-серверу, хотя есть обходное решение.
Как узнать, где изменить настройки прокси-сервера? Насколько я знаю, есть три способа сделать это
export http_proxy
для этого экземпляра или поместив его в файл bashrc /etc/apt/apt.conf
для приложений APT Это совершенно сбивает с толку. Я помогал коллеге в получении его обновления - управлять работой прокси-сервера. Я наконец спросил Michal Vogt , и он напомнил мне, что, вероятно, мой коллега не нажал «Применить систему в ширину». Я предполагаю, что общесистемное поведение должно быть по умолчанию, если приложение не переопределяет его явно.
В следующий раз, если приложение не работает над прокси-сервером, где я должен искать? Есть подсказка? Этот вопрос касается не только меня, но и многих людей, которым я помогаю. Я не могу сидеть с ними все время. Мне нужно сказать им, как действовать.
Ну, я бы сказал, если приложение тесно связано с GNOME (или с любой из библиотек, тесно связанных с GNOME), тогда оно будет использовать настройки прокси-сервера GNOME.
Если это что-то связано с пакет управления, то он будет искать в apt.conf
И, наконец, если это утилита CLI, переменные bash или файл конфигурации.
Полезно проверить документацию / man-страницу приложения, чтобы узнать, где он ищет настройки.