From 6cce4aa9a88b62dc1b2cdccba6dc2f5b88fb1f55 Mon Sep 17 00:00:00 2001
From: Nelson Lojo <nelson.lojo@berkeley.edu>
Date: Mon, 27 May 2024 16:49:12 -0700
Subject: [PATCH] devcontainer added

---
 .devcontainer/devcontainer.json  | 18 ++++++++++++++++++
 .devcontainer/docker-compose.yml | 22 ++++++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json
 create mode 100644 .devcontainer/docker-compose.yml

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..aacb170
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,18 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/universal
+{
+	"name": "Launch Course",
+
+    "dockerComposeFile": [ "docker-compose.yml" ],
+    "service" : "devcontainer",
+    "workspaceFolder": "/workspaces/pl-ucb-csxxx",
+	
+    "forwardPorts": [ 3000 ],
+
+	// Features to add to the dev container. More info: https://containers.dev/features.
+	"features": {
+        "ghcr.io/devcontainers/features/docker-outside-of-docker:1": {}
+    },
+
+    "postStartCommand": "git config --global --add safe.directory ${containerWorkspaceFolder}",
+}
diff --git a/.devcontainer/docker-compose.yml b/.devcontainer/docker-compose.yml
new file mode 100644
index 0000000..7740fed
--- /dev/null
+++ b/.devcontainer/docker-compose.yml
@@ -0,0 +1,22 @@
+services:
+  prairielearn:
+    image: prairielearn/prairielearn:latest
+    platform: linux/amd64
+    environment:
+      HOST_JOBS_DIR: /tmp/directory/for/autograder/jobqueue
+    ports:
+      - 3000:3000
+    volumes:
+      - /tmp/directory/for/autograder/jobqueue:/jobs
+      - .:/course
+      - /var/run/docker.sock:/var/run/docker.sock
+    extra_hosts:
+      - "host.docker.internal:host-gateway"
+
+  devcontainer:
+    image: mcr.microsoft.com/devcontainers/universal
+    platform: linux/amd64
+    links:
+      - prairielearn
+    volumes: # Mount the root folder that contains .git
+      - ..:/workspaces/pl-ucb-csxxx:rw