hongyi-zhao

@laurent-laporte-pro If so, it is not so easy to fix this problem systematically and gracefully.

@richardkmichael It seems they are really the same.

> if you configure your machine to create a tunnel for the outgoing traffic through a Socks5 proxy, Lexicon will use it also. I mean to set the socks5 proxy...

> But I can't imagine how `SPACE` would work - how would you type spaces into the search input? I don't have a particular recommendation or preference, but just like...

> What OS are you running? ``` $ lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 20.04.3 LTS Release: 20.04 Codename: focal ``` > What is...

Nope. The command is executed very quickly in my case: ```shell werner@X10DAi-00:~/Public/repo/github.com/ApolloAuto/apollo.git$ time git remote get-url origin 2>/dev/null https://github.com/ApolloAuto/apollo.git real 0m0.087s user 0m0.055s sys 0m0.031s ```

Really. I confirmed your assertion based on subsequent testings. But I still can't figure out why the `stack install` command doesn't respect the proxy setting by environment variable as shown...

See below: ``` $ env http_proxy=127.0.0.1:8080 https_proxy=127.0.0.1:8080 stack install Downloading lts-17.5 build plan ... RedownloadInvalidResponse Request { host = "raw.githubusercontent.com" port = 443 secure = True requestHeaders = [] path...

Thank you for your reminder. The above [issue](https://github.com/commercialhaskell/stack/issues/5449) is indeed fired by myself some time ago. But it really has nothing to do with the problem reported there. In fact,...

Yep. See the final compiled/installed working versions of stack and hadolint for my case: ``` $ stack --version Version 2.5.1, Git revision d6ab861544918185236cf826cb2028abb266d6d5 x86_64 hpack-0.33.0 $ hadolint --version Haskell Dockerfile...