From d5d803fe0722c6272768c3de0738579388b472e5 Mon Sep 17 00:00:00 2001 From: Mateusz Pusz Date: Sat, 3 Feb 2024 17:49:28 +0000 Subject: [PATCH] build: liveserver no longer needed in gitpod --- .gitpod.yml | 7 ------- 1 file changed, 7 deletions(-) diff --git a/.gitpod.yml b/.gitpod.yml index ec43c09c7..af1a0acf5 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -1,11 +1,6 @@ image: file: .gitpod/Dockerfile -# -------------------------------------------------------- -# exposing ports for VSCode Live Server -ports: - - port: 5500 - # -------------------------------------------------------- # using prebuilds for the container github: @@ -65,8 +60,6 @@ tasks: "editor.guides.bracketPairs": "active", "restructuredtext.preview.scrollEditorWithPreview": 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", "yaml.schemas": { "https://squidfunk.github.io/mkdocs-material/schema.json": "mkdocs.yml"