auto

assign9.md

@@ -54,7 +54,7 @@ windows as well, but I have no direct experience with that.
 Steps:
 - [Install docker](https://www.docker.com/get-started/)
 - Build your image: `docker build -t assign9 .`
-- Start a container based on that image, and attach to a bash shell in it: `docker run -v "$(PWD)":/assign9 -it assign9`.
+- Start a container based on that image, and attach to a bash shell in it: `docker run -v "$(PWD)":/assign9 -it assign9` (`docker run -v `pwd`:/assign9 -it assign9` for `tcsh`).
   - You will drop right into `/assign9`, which is where the enclosing
     directory is mounted in the container.
   - Any changes you make either in this container directory, or