Tweak the gitpod environment

2026-07-12 23:23:12 +00:00 · 2021-10-14 01:00:17 +00:00
parent 1361c5f210
commit 0c3b4600d3
2 changed files with 11 additions and 5 deletions
@@ -1,6 +1,12 @@
+
 tasks:
  - init: pip install -r requirements.txt
  - command: mkdocs serve
 ports:
  - port: 8000
-    onOpen: open-browser
+    onOpen: notify
+vscode:
+  extensions:
+    - yzhang.markdown-all-in-one
+    - davidanson.vscode-markdownlint
+    - bpruitt-goddard.mermaid-markdown-syntax-highlighting