diff options
| author | Yarden Shoham <git@yardenshoham.com> | 2023-04-07 22:55:25 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-07 15:55:25 -0400 |
| commit | 518d384346abeef833122b871411788b6d7f3ebe (patch) | |
| tree | 8b5d5f644ee5f258ce9c1c25dd337b3a4d8fd475 /.gitpod.yml | |
| parent | 95b46c873b1e28834a038dfeee9eb2974483d384 (diff) | |
| download | gitea-518d384346abeef833122b871411788b6d7f3ebe.tar.gz gitea-518d384346abeef833122b871411788b6d7f3ebe.zip | |
Remove docs from automatically building in Gitpod (#23978)
I couldn't find a way to build the docs without `trans-copy` and
spinning up a dev environment that generates files untracked by git on
startup is not a good development experience
Signed-off-by: Yarden Shoham <git@yardenshoham.com>
Diffstat (limited to '.gitpod.yml')
| -rw-r--r-- | .gitpod.yml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.gitpod.yml b/.gitpod.yml index 39f62435de..442f434eaa 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -23,13 +23,6 @@ tasks: gp sync-await setup make watch-frontend openMode: split-right - - name: Run docs - command: | - gp sync-await setup - cd docs - make clean update - hugo server -D -F --baseUrl $(gp url 1313) --liveReloadPort=443 --appendPort=false --bind=0.0.0.0 - openMode: split-right vscode: extensions: @@ -46,5 +39,3 @@ vscode: ports: - name: Gitea port: 3000 - - name: Docs - port: 1313 |