From 6c957150e080adaf8ca56ff0ee11709ef7abb428 Mon Sep 17 00:00:00 2001 From: kristof de spiegeleer Date: Thu, 26 Aug 2021 12:06:10 +0000 Subject: [PATCH 1/2] ... --- .gitpod.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitpod.yml b/.gitpod.yml index d1a057a95..5058ba1cb 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -9,7 +9,6 @@ tasks: publtools_check cd config publishtools install - cd .. echo ' - do "publishtools run" to run website.' echo ' - do "open workspace.code-workspace" to open all relevant dirs in your editor.' ports: From 176e069265ce47d2e6d290137a69315fb0bb2da5 Mon Sep 17 00:00:00 2001 From: kristof de spiegeleer Date: Thu, 26 Aug 2021 12:06:51 +0000 Subject: [PATCH 2/2] ... --- .gitpod.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitpod.yml b/.gitpod.yml index 5058ba1cb..77d77bce3 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -10,7 +10,7 @@ tasks: cd config publishtools install echo ' - do "publishtools run" to run website.' - echo ' - do "open workspace.code-workspace" to open all relevant dirs in your editor.' + echo ' - do "open ../workspace.code-workspace" to open all relevant dirs in your editor.' ports: - port: 9998 onOpen: open-browser