Sebastien, sorry if the screenshot is misleading, but the terminal was launched *after* the proxy settings were changed. Even if I restart the computer $http_proxy is not updated.
Sebastien, sorry if the screenshot is misleading, but the terminal was launched *after* the proxy settings were changed. Even if I restart the computer $http_proxy is not updated.