Windows workflow

[Jack Hale]

I'll confess I've never actually tried Docker on Windows. I'm not even sure I could instruct someone how to open a cmd.exe on Windows 10! Need to fire up a Windows machine and see if Docker is a smooth experience as it is on Linux and Mac OS X.

[Anders Logg (Chalmers)]

It's actually very easy. Just follow the simplified instructions on the main Download page: http://fenicsproject.org/download/

The exact same instructions hold for both Mac and Windows, including file sharing.

The key is to follow those instructions: install Docker Toolbox then start Docker Quickstart Terminal. It gives you a terminal (mingw) which allows to just type in the regular docker run -ti command.

[Anders Logg (Chalmers)]

I tried it today on Windows and so did Martin. Works great! :-)

[Jack Hale]

Great, thanks for testing that.