dotspacemacs/user-config выполняется в конце инициализации. Значения прокси, нужные для ранней загрузки пакетов, поместите в существующий hook dotspacemacs/user-init активного dotfile:

(setq url-proxy-services
      '(("http" . "proxy.example:8080")
        ("https" . "proxy.example:8080")))

Объедините форму с остальными инициализациями hook. Значения — это пары host:port с ключом по протоколу назначения. Для публичных источников пакетов список HTTP-прокси предлагает кандидатов для этой ранней настройки HTTP. Сохраняйте требуемые клиентом URL проверку подлинности и параметры обхода вместе с этой ранней настройкой.

Если маршрутизация зависит от переменных окружения, проверьте сохранённое окружение как отдельный вход. Стандартный user-env загружает ~/.spacemacs.env, который может содержать старые импортированные значения.

  • SPC f e e открывает конфигурацию окружения.
  • SPC f e E перезагружает её.
  • SPC f e C-e повторно импортирует и перезаписывает сохранённый файл, поэтому просмотрите его значения, прежде чем полагаться на новый импорт.

Экспорт в новом терминале сам по себе не заменяет этот файл. Внешние загрузчики Git тоже используют собственные входы прокси Git; настройка библиотеки URL относится к клиенту URL.

Похожие статьи