From: Jack Wolfard <jackwolfard@gmail.com>
Date: Tue, 31 Aug 2021 20:11:16 +0000 (-0400)
Subject: Add Windows batch scripts
X-Git-Url: https://git.devinivas.org/?a=commitdiff_plain;h=7e6f91bae540a610956e758baf5e4522a33e6ec5;p=cs3210-lab0.git

Add Windows batch scripts
---

diff --git a/scripts/windows/docker/attach.bat b/scripts/windows/docker/attach.bat
new file mode 100644
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
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
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