@@ -223,6 +223,26 @@ rm -r nightly/work/builds/nightly/
224This should also be done when moving the Nightly docker image to a new version of Ubuntu.
224This should also be done when moving the Nightly docker image to a new version of Ubuntu.
226+If you're impatient and would like to build the Docker image on the
227+build server instead of waiting for Docker Hub, you can run the
233+ && git clone https://github.com/fpco/stackage \
235+ && docker build --tag snoyberg/stackage:nightly .)
239+Note that we do a clean clone of the `stackage` repo instead of using
240+the existing checkout because of how `docker build` works: it will
241+send the entire local directory contents as context to the Docker
242+daemon, which in the case of the build tree is a _lot_ of content. (We
243+can discuss the wisdom—or lack thereof—of Docker's
244+approach separately.)
226## stackage-build server
246## stackage-build server
228You'll need to get your SSH public key added to the machine. ~/.ssh/config info:
248You'll need to get your SSH public key added to the machine. ~/.ssh/config info: