repo2docker/.gitpod.yml

tasks:
  - init: |
      pip3 install sphinx-autobuild
      pip3 install -r dev-requirements.txt
      pip3 install -r docs/requirements.txt
      pip3 install -e .
    command: |
      sphinx-autobuild docs/source/ docs/_build/html/
    name: Sphinx preview
      
ports:
  - port: 8000
Add basic gitpod config Trying out gitpod.io to see if we can use it as a simple way to get people a working dev environment to work on the documentation. 2020-06-08 08:05:36 +00:00			`tasks:`
			`- init: \|`
Add sphinx-autobuild to gitpod setup 2020-06-08 11:25:02 +00:00			`pip3 install sphinx-autobuild`
Also install dev requirements on Gitpod 2023-01-20 15:37:44 +00:00			`pip3 install -r dev-requirements.txt`
refactor: rename docs/doc-requirements.txt to docs/requirements.txt 2022-10-20 16:41:17 +00:00			`pip3 install -r docs/requirements.txt`
docs: add devenv and linkcheck 2022-10-20 16:51:32 +00:00			`pip3 install -e .`
Add basic gitpod config Trying out gitpod.io to see if we can use it as a simple way to get people a working dev environment to work on the documentation. 2020-06-08 08:05:36 +00:00			`command: \|`
docs: add devenv and linkcheck 2022-10-20 16:51:32 +00:00			`sphinx-autobuild docs/source/ docs/_build/html/`
Add basic gitpod config Trying out gitpod.io to see if we can use it as a simple way to get people a working dev environment to work on the documentation. 2020-06-08 08:05:36 +00:00			`name: Sphinx preview`
Also install dev requirements on Gitpod 2023-01-20 15:37:44 +00:00
Add basic gitpod config Trying out gitpod.io to see if we can use it as a simple way to get people a working dev environment to work on the documentation. 2020-06-08 08:05:36 +00:00			`ports:`
docs: add devenv and linkcheck 2022-10-20 16:51:32 +00:00			`- port: 8000`