From be186a573799057576d3c26742fb12f5427d5cd3 Mon Sep 17 00:00:00 2001
From: "Peter J. Keleher" <keleher@cs.umd.edu>
Date: Sun, 26 Nov 2023 14:44:08 -0500
Subject: [PATCH] auto

---
 assign9.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/assign9.md b/assign9.md
index 4fbe0c8..e6b592d 100644
--- a/assign9.md
+++ b/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
-- 
GitLab