build: liveserver no longer needed in gitpod

This commit is contained in:
Mateusz Pusz
2024-02-03 17:49:28 +00:00
parent 79591bca0b
commit d5d803fe07

View File

@@ -1,11 +1,6 @@
image: image:
file: .gitpod/Dockerfile file: .gitpod/Dockerfile
# --------------------------------------------------------
# exposing ports for VSCode Live Server
ports:
- port: 5500
# -------------------------------------------------------- # --------------------------------------------------------
# using prebuilds for the container # using prebuilds for the container
github: github:
@@ -65,8 +60,6 @@ tasks:
"editor.guides.bracketPairs": "active", "editor.guides.bracketPairs": "active",
"restructuredtext.preview.scrollEditorWithPreview": false, "restructuredtext.preview.scrollEditorWithPreview": false,
"restructuredtext.preview.scrollPreviewWithEditor": false, "restructuredtext.preview.scrollPreviewWithEditor": false,
"liveServer.settings.root": "/build/docs/docs/sphinx/",
"esbonio.sphinx.confDir": "${workspaceFolder}/docs",
"C_Cpp.default.configurationProvider": "ms-vscode.cmake-tools", "C_Cpp.default.configurationProvider": "ms-vscode.cmake-tools",
"yaml.schemas": { "yaml.schemas": {
"https://squidfunk.github.io/mkdocs-material/schema.json": "mkdocs.yml" "https://squidfunk.github.io/mkdocs-material/schema.json": "mkdocs.yml"