Déplacez la configuration du proxy URL de Spacemacs dans user-init

dotspacemacs/user-config s'exécute à la fin de l'initialisation. Placez les valeurs de proxy nécessaires au chargement précoce des paquets dans le hook dotspacemacs/user-init existant du dotfile actif :

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

Fusionnez la forme avec les autres initialisations du hook. Les valeurs sont des paires host:port indexées par le protocole de destination. Pour les sources de paquets publiques, la liste de proxys HTTP fournit des candidats pour cette configuration HTTP précoce. Conservez l'authentification et les réglages de contournement exigés par le client URL avec cette configuration précoce.

Si le routage dépend de variables d'environnement, examinez l'environnement enregistré comme une entrée distincte. Le user-env par défaut charge ~/.spacemacs.env, qui peut contenir d'anciennes valeurs importées.

• SPC f e e ouvre la configuration de l'environnement.
• SPC f e E le recharge.
• SPC f e C-e réimporte et écrase le fichier enregistré, examinez donc ses valeurs avant de vous fier à un nouvel import.

Une exportation dans un nouveau terminal ne remplace pas ce fichier à elle seule. Les téléchargeurs Git externes utilisent eux aussi les entrées de proxy propres à Git ; le réglage de la bibliothèque URL s'applique au client URL.