vscode

CatalaLang · Jan 24, 2024 · 8a9b1c6 · 8a9b1c6
1 parent 91a7b45
commit 8a9b1c6
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 7 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 _build
 .direnv
 .envrc
-.lia.cache
+.lia.cache
+_opam
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
@@ -3,21 +3,23 @@
     "tasks": [
         {
             "label": "dune-build",
-            "command": "dune", // Replace this with your external command
+            "command": "dune",
             "args": [
                 "build"
-            ], // Arguments for the external command
+            ],
             "type": "shell",
             "problemMatcher": [],
+            "group": {
+                "kind": "build",
+                "isDefault": true
+            }
         },
         {
             "dependsOn": "dune-build",
             "label": "coq-reload",
             "command": "${command:extension.coq.reset}",
-            "group": {
-                "kind": "build",
-                "isDefault": true
-            },
+            "group": "build",
+            "problemMatcher": []
         }
     ]
 }