auto

assign0.md

@@ -25,11 +25,13 @@ in `Dockerfile`.
 
 1. [Install docker](https://www.docker.com/get-started/)
 
+1. Insert `WORKDIR /424` as the third line of your Dockerfile, if it is not already there.
 1. Build the container image as follows: `docker build --rm -t 424 .`
 1. Verify that the imeage has been build in your docker
    Desktop. Assuming you are using bash, run the image: `docker run -it -v $(pwd):/424 424`
    1. For *tcsh* use ``docker run -it -v `pwd`:/424 424``.
-   1. On **windows**, the following worked for me: `docker run -it -v "${PWD}:/424" 424`.
+   1. On **windows**, the following worked for me: `docker run -it -v "${PWD}:/424" 424`. 
+
 1. `cd /424` from within the container. 
 
 You are now inside the docker container in a directory (`/424`) that