#!/bin/bash set -e set -u __redirect_alias_python() { echo "'python@${WEBI_TAG:-stable}' is an alias for 'python@${WEBI_VERSION:-}'" WEBI_HOST=${WEBI_HOST:-"https://webinstall.dev"} curl -fsSL "$WEBI_HOST/python@${WEBI_VERSION:-}" | bash } __redirect_alias_python