Skip to content

Instantly share code, notes, and snippets.

@mrsimonemms
Last active January 29, 2022 16:52
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mrsimonemms/18afd4a6dad51949644805b06426a81b to your computer and use it in GitHub Desktop.
Save mrsimonemms/18afd4a6dad51949644805b06426a81b to your computer and use it in GitHub Desktop.
Use Gitpod installer from Docker
#!/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