diff --git a/.gitpod.yml b/.gitpod.yml index 1fafeb4f4bfc1e8285a3fc021f0d8fa45ee96f6d..3f4ea49fa1319d4e9cdf020fee71a4b26c9ad605 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -2,8 +2,12 @@ tasks: - name: Setup Development Env openMode: tab-after init: | + type -p curl >/dev/null || sudo apt install curl -y + curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg + sudo chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg + echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null sudo apt update - sudo apt install gh + sudo apt install gh -y gp sync-done dev-setup - name: Install ODK Central openMode: tab-after