fix naming in devcontainer.json

ia-toki · Oct 21, 2023 · aa93df7 · aa93df7
1 parent 8f7ac4b
commit aa93df7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,8 +1,8 @@
 {
-  "name": "Impala Dev",
+  "name": "Judgels Dev",
   "dockerFile": "Dockerfile",
   "runArgs": [
-    "--privileged",
+    "--privileged"
   ],
   "remoteUser": "tokidev",
   "containerUser": "tokidev",