repo2docker/.gitpod.yml

tasks:
  - init: |
      pip3 install sphinx-autobuild
      pip3 install -r docs/doc-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`
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			`pip3 install -r docs/doc-requirements.txt`
			`pip3 install -e.`
			`command: \|`
Add sphinx-autobuild to gitpod setup 2020-06-08 11:25:02 +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`
			`ports:`
Add sphinx-autobuild to gitpod setup 2020-06-08 11:25:02 +00:00			`- port: 8000`