Re: problem with stack behind proxy

2018-03-21 Thread Yuji Yamamoto
FYI. If your office's proxy server is authenticated with NTLM authentication, use CNTLM http://cntlm.sourceforge.net/ , a proxy of proxy for NTLM-authenticated server. Actually, my last office uses it :) 2018-03-21 18:46 GMT+09:00 Nikos Karagiannidis : > Thank you both

Re: problem with stack behind proxy

2018-03-21 Thread Nikos Karagiannidis
Thank you both for your help! I have tried to embed a URI encoded username and password in the HTTP_PROXY setting but still did not work. I have managed to find an alternative proxy by talking to the network department that does not require authentication! So now "stack upgrade" works for me too!

Re: problem with stack behind proxy

2018-03-21 Thread Neil Mitchell
Hi Nikos, Do you have a username/password? Sometimes http://username:password@proxy-host:8080 will work. If you can't get HTTP_PROXY working at all, see https://github.com/ndmitchell/offline-stack, which is a more violent and unpleasant workaround for corporate networks. Thanks, Neil On Tue,

Re: problem with stack behind proxy

2018-03-21 Thread Yuji Yamamoto
According to the error, you must set proxy user name and password to pass the authentication. Like this: HTTP_PROXY = http://username:password@proxy-host:8080 HTTPS_PROXY = http:// username:password@ proxy-host:8080

problem with stack behind proxy

2018-03-20 Thread Nikos Karagiannidis
Hi all, I am trying to run stack build, or stack update behind the corporate web proxy and I get the following error: $ stack build Downloading lts-11.1 build plan ...HttpExceptionRequest Request { host = "raw.githubusercontent.com" port = 443 secure