Add Windows batch scripts

diff --git a/scripts/windows/docker/attach.bat b/scripts/windows/docker/attach.bat
new file mode 100644 (file)
index 0000000..3061924
--- /dev/null
+++ b/scripts/windows/docker/attach.bat
@@ -0,0 +1 @@
+docker exec -it xv6 bash

diff --git a/scripts/windows/docker/pull.bat b/scripts/windows/docker/pull.bat
new file mode 100644 (file)
index 0000000..22551f4
--- /dev/null
+++ b/scripts/windows/docker/pull.bat
@@ -0,0 +1 @@
+docker pull jackwolfard/cs3210:latest

diff --git a/scripts/windows/docker/run.bat b/scripts/windows/docker/run.bat
new file mode 100644 (file)
index 0000000..a12f549
--- /dev/null
+++ b/scripts/windows/docker/run.bat
@@ -0,0 +1,6 @@
+@ECHO OFF
+setlocal
+SET parent=%~dp0
+FOR %%a IN ("%parent%\..\..\..") DO SET "root=%%~fa"
+@ECHO ON
+docker run --rm -it --name="xv6" -v %root%:/xv6 -w="/xv6" jackwolfard/cs3210:latest