From f7169dfee768d212018f6f54a7a88d7ee8fd806e Mon Sep 17 00:00:00 2001 From: samir Date: Wed, 30 Jun 2021 22:35:28 +0200 Subject: [PATCH] Create .gitpod.yml --- .gitpod.yml | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 .gitpod.yml diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 000000000..9c12bd536 --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,36 @@ +image: + file: .gitpod.Dockerfile +# # Commands to start on workspace startup +tasks: + - command: sudo /etc/init.d/redis-server start && sudo publishtools develop --repo www_threefold_io +ports: + - 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