Updated documentation

paolobettelini · Oct 31, 2024 · f1d8943 · f1d8943
1 parent 47ae54b
commit f1d8943
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/documentation/src/SUMMARY.md b/documentation/src/SUMMARY.md
@@ -28,4 +28,5 @@
 
 # Miscellaneous
   - [Fish configuration](./misc_fish.md)
+  - [VS Code configuration](./misc_vscode.md)
   - [TODO](./misc_todo.md)
diff --git a/documentation/src/misc_vscode.md b/documentation/src/misc_vscode.md
@@ -0,0 +1,12 @@
+# VS Code configuration
+
+You can install the `Action Buttons` extension and add the following command:
+```json
+{
+    "name": "$(triangle-right) Run Notes",
+    "color": "green",
+    "singleInstance": true,
+    "command": "notes ${fileBasename}",
+}
+```
+This will provide a button to compile the current file.