From 7e6f91bae540a610956e758baf5e4522a33e6ec5 Mon Sep 17 00:00:00 2001 From: Jack Wolfard Date: Tue, 31 Aug 2021 16:11:16 -0400 Subject: [PATCH] Add Windows batch scripts --- scripts/windows/docker/attach.bat | 1 + scripts/windows/docker/pull.bat | 1 + scripts/windows/docker/run.bat | 6 ++++++ 3 files changed, 8 insertions(+) create mode 100644 scripts/windows/docker/attach.bat create mode 100644 scripts/windows/docker/pull.bat create mode 100644 scripts/windows/docker/run.bat 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 -- 2.47.3