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

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

diff --git a/assign9.md b/assign9.md
index 33bf1b8..4fbe0c8 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` (`docker run -v \`pwd\`:/assign9 -it assign9` for `tcsh`).
+- Start a container based on that image, and attach to a bash shell in it: `docker run -v "$(PWD)":/assign9 -it assign9`.
   - 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