From fc1ed7e93718d0b715f7848dfd425259b65c39e2 Mon Sep 17 00:00:00 2001 From: Jack Wolfard Date: Mon, 19 Jul 2021 06:44:26 -0500 Subject: [PATCH] Added script to run Docker environment --- .gitignore | 1 + scripts/docker.sh | 1 + 2 files changed, 2 insertions(+) create mode 100755 scripts/docker.sh diff --git a/.gitignore b/.gitignore index 0a46411..81ba500 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ *~ .gdbinit +build diff --git a/scripts/docker.sh b/scripts/docker.sh new file mode 100755 index 0000000..e6f6608 --- /dev/null +++ b/scripts/docker.sh @@ -0,0 +1 @@ +docker run --rm -it --name="xv6" -v ${PWD}/:/xv6 -w="/xv6" jackwolfard/cs3210:latest -- 2.47.3