Re: What are Emacs best uses?

[Luca Ferrari]

On Mon, Aug 19, 2013 at 4:04 PM, Sebastien Vauban
<sva-news@mygooglest.com> wrote:

> --8<---------------cut here---------------start------------->8---
>       ;; use proxy
>       (setq url-proxy-services
>             `(("http"     . ,(getenv "http_proxy"))
>               ("ftp"      . ,(getenv "http_proxy"))
>               ("no_proxy" . "^.*example.com")))
>               ;; disable proxy for some hosts
>      ))
> --8<---------------cut here---------------end--------------->8---
>

Despite two extra parens in the end, no, it does not help. I tried to
update the package list but got "Failed to download 'gnu' archive". I
then tried to get an URL with w3 but I got "http/80 Name or service
unknown".
How can I test if the proxy settings are working? By the way,
http_proxy is set correctly.

Thanks,
Luca