pulumi/.gitpod.yml
Ian Wahbe b9f57bc6b9
Move /opt/pulumi to $HOME/.pulumi (#8437)
* Move `/opt/pulumi` to `$HOME/.pulumi`

* Don't suggest adding $HOME/.pulumi to PATH
2021-11-17 10:37:38 -08:00

22 lines
485 B
YAML

image:
file: .gitpod/Dockerfile
# See: https://www.gitpod.io/docs/config-start-tasks/
tasks:
- before: >
mkdir -p /workspace/opt-pulumi &&
sudo ln -s /workspace/opt-pulumi $HOME/.pulumi
init: >
make ensure &&
make install
command: pulumi version
# See: https://www.gitpod.io/docs/prebuilds/#configure-the-github-app
github:
prebuilds:
master: true
branches: true
pullRequests: true
pullRequestsFromForks: true
addCheck: true