Added script to run Docker environment

diff --git a/.gitignore b/.gitignore
index 0a4641144b6f0ab92fc9997c2b1fb0ce93186ff1..81ba50068b1b050231b35e0672c61db7562a66ea 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 *~
 .gdbinit
+build

diff --git a/scripts/docker.sh b/scripts/docker.sh
new file mode 100755 (executable)
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