You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It should be a pretty easy fix... unfortunately parsing CLI output is going to tend toward this kind of breakage (but the Docker API is even more prone to breakage, so I don't know if using that directly would be an improvement).
Aside: since --install-ghc is now default behaviour, an analogous change would be to make --docker-auto-pull enabled by default. I've opened #3332 to track that change.
General summary/comments (optional)
The documentation states that:
However, instead I received an error message.
Steps to reproduce
I don't know if this is relevant, but due to corporate policies I have to access Docker Hub via a mirror; I shall refer to this as
corp.mirror/remote
.I have this in my
stack.yaml
:Expected
stack build --docker
should tell me I need to do astack docker pull
.Actual
(
stack docker pull
does indeed work.)Stack version
Method of installation
The text was updated successfully, but these errors were encountered: