2023-03-23 17:52:45 +00:00
|
|
|
# This configuration file was automatically generated by Gitpod.
|
|
|
|
|
# Please adjust to your needs (see https://www.gitpod.io/docs/introduction/learn-gitpod/gitpod-yaml)
|
|
|
|
|
# and commit this file to your remote git repository to share the goodness with others.
|
|
|
|
|
|
|
|
|
|
# Learn more from ready-to-use templates: https://www.gitpod.io/docs/introduction/getting-started/quickstart
|
|
|
|
|
|
2023-03-24 17:36:48 +00:00
|
|
|
checkoutLocation: tildeweb-ajhalili2006
|
|
|
|
|
|
2023-10-01 14:18:00 +00:00
|
|
|
image: ghcr.io/ajhalili2006/ajhalili2006.github.io/devenv:commit-34a2eb5ce41701454dfede862a6284cc92bfe175
|
2023-03-24 17:36:48 +00:00
|
|
|
|
2023-03-23 17:52:45 +00:00
|
|
|
tasks:
|
|
|
|
|
- init: |
|
2023-10-01 14:18:00 +00:00
|
|
|
pipenv sync --verbose
|
2023-03-24 17:36:48 +00:00
|
|
|
command: |
|
2023-09-24 16:17:38 +00:00
|
|
|
FF_ENABLE_COMMIT_DATA=true pipenv run -- mkdocs serve --watch overrides --watch-theme --livereload
|
2023-03-24 17:36:48 +00:00
|
|
|
name: site-localdev
|
|
|
|
|
env:
|
|
|
|
|
FF_ENABLE_COMMIT_DATA: "true" # Required to use git-revision-date-localized, like in prod.
|
2023-03-23 17:52:45 +00:00
|
|
|
|
|
|
|
|
ports:
|
|
|
|
|
- port: 8000
|
|
|
|
|
onOpen: notify
|
2023-10-01 14:18:00 +00:00
|
|
|
visibility: public
|
