Last active
January 29, 2022 16:52
-
-
Save mrsimonemms/18afd4a6dad51949644805b06426a81b to your computer and use it in GitHub Desktop.
Use Gitpod installer from Docker
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Save this script to a `gitpod-installer` file, make it | |
# executable and save to your $PATH directory. Now you can | |
# use this as you would the normal Installer binary. | |
# | |
# To change the Installer version, apply a `GITPOD_INSTALLER_VERSION` | |
# environment variable (or change the default value). | |
set -euo pipefail | |
# Set the version to use - see https://werft.gitpod-dev.com for available values | |
GITPOD_INSTALLER_VERSION="${GITPOD_INSTALLER_VERSION:-release-2022.01.12}" | |
# Check docker is available | |
which docker > /dev/null || (echo "Docker not installed - see https://docs.docker.com/engine/install" && exit 1) | |
# Now, run the Installer | |
docker run -it --rm \ | |
-v="${HOME}/.kube:${HOME}/.kube" \ | |
-v="${PWD}:${PWD}" \ | |
-w="${PWD}" \ | |
"eu.gcr.io/gitpod-core-dev/build/installer:${GITPOD_INSTALLER_VERSION}" \ | |
"${@}" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment