github.com/ddev/ddev@v1.23.2-0.20240519125000-d824ffe36ff3/.gitpod/images/push.sh (about)

     1  #!/bin/bash
     2  set -eu -o pipefail
     3  
     4  # Try `DOCKER_TAG="YYYYMMDD" ./push.sh`
     5  
     6  DOCKER_TAG=${DOCKER_TAG:-$(git describe --tags --always --dirty)}
     7  
     8  DOCKER_REPO=${DOCKER_REPO:-ddev/ddev-gitpod-base:${DOCKER_TAG}}
     9  
    10  echo "Pushing ${DOCKER_REPO}"
    11  set -x
    12  # Build only current architecture and load into docker
    13  docker buildx build -t ${DOCKER_REPO} --push --platform=linux/amd64 .
    14  
    15  echo "This was pushed with ${DOCKER_REPO}. For it to take effect, it must be changed here in .gitpod.yml and also in https://github.com/ddev/ddev-gitpod-launcher/blob/main/.gitpod.yml"