49 lines
1.7 KiB
YAML
49 lines
1.7 KiB
YAML
image:
|
|
file: .gitpod.Dockerfile
|
|
tasks:
|
|
- name: WIKI
|
|
command: |
|
|
export PBRANCH=development
|
|
curl https://raw.githubusercontent.com/crystaluniverse/crystaltools/$PBRANCH/install.sh > /tmp/install.sh
|
|
bash /tmp/install.sh
|
|
source /workspace/env.sh
|
|
# publtools_check
|
|
# cd wiki_config && publishtools flatten
|
|
web_install
|
|
website_install
|
|
website_run
|
|
echo ' - do "website_run" to run wiki or website.'
|
|
echo ' - do "open workspace.code-workspace" to open all relevant dirs in your editor.'
|
|
ports:
|
|
- port: 9998
|
|
onOpen: open-browser
|
|
- port: 8080
|
|
onOpen: open-browser
|
|
- port: 6379
|
|
onOpen: ignore
|
|
vscode:
|
|
extensions:
|
|
- vlanguage.vscode-vlang
|
|
- telesoho.vscode-markdown-paste-image
|
|
- yzhang.markdown-all-in-one
|
|
- shd101wyy.markdown-preview-enhanced
|
|
- bierner.markdown-mermaid
|
|
- darkriszty.markdown-table-prettify
|
|
- bpruitt-goddard.mermaid-markdown-syntax-highlighting
|
|
- shuworks.vscode-table-formatter
|
|
github:
|
|
prebuilds:
|
|
# enable for the master/default branch (defaults to true)
|
|
master: true
|
|
# enable for all branches in this repo (defaults to false)
|
|
branches: true
|
|
# enable for pull requests coming from this repo (defaults to true)
|
|
pullRequests: true
|
|
# enable for pull requests coming from forks (defaults to false)
|
|
pullRequestsFromForks: false
|
|
# add a "Review in Gitpod" button as a comment to pull requests (defaults to true)
|
|
addComment: true
|
|
# add a "Review in Gitpod" button to pull requests (defaults to false)
|
|
addBadge: false
|
|
# add a label once the prebuild is ready to pull requests (defaults to false)
|
|
addLabel: prebuilt-in-gitpod |