вот моя настройка прокси:
(setq url-proxy-services '(("no_proxy" . "my-corp-proxy")
("http" . "my-corp-proxy:8080")
("https" . "my-port-proxy:8080")))
Я могу использовать eww для доступа к сайтам http, но когда я пытаюсь получить доступ к сайтам https, я получаю следующий ответ:
Я также установил gnutls, если я оцениваю (gnutls-available-p)
я получаю t
.
любые идеи или предложения будут с благодарностью!