Merge pull request #15 from nelson-lojo/devcontainer-addition

Add Devcontainer configs

.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}"
+}

.devcontainer/docker-compose.yml

@@ -0,0 +1,22 @@
+services:
+  prairielearn:
+    image: prairielearn/prairielearn:latest
+    platform: linux/amd64
+    environment:
+      HOST_JOBS_DIR: /tmp/dir-for-ag-jobqueue
+    ports:
+      - 3000:3000
+    volumes:
+      - /tmp/dir-for-ag-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