push_eval_docker.sh 949 B

123456789101112131415161718192021222324252627282930
  1. #!/bin/bash
  2. # This is ONLY used for pushing docker images created by https://github.com/princeton-nlp/SWE-bench/blob/main/docs/20240627_docker/README.md
  3. DOCKER_NAMESPACE=$1
  4. # check if DOCKER_NAMESPACE is set
  5. if [ -z "$DOCKER_NAMESPACE" ]; then
  6. echo "Usage: $0 <docker_namespace>"
  7. exit 1
  8. fi
  9. # target namespace
  10. image_list=$(docker image ls --format '{{.Repository}}:{{.Tag}}' | grep sweb | grep -v $DOCKER_NAMESPACE)
  11. # There are three tiers of images
  12. # - base
  13. # - env
  14. # - eval (instance level)
  15. for image in $image_list; do
  16. echo "=============================="
  17. echo "Image: $image"
  18. # rename image by replace "__" with "_s_" to comply with docker naming convention
  19. new_image_name=${image//__/_s_}
  20. docker tag $image $DOCKER_NAMESPACE/$new_image_name
  21. echo "Tagged $image to $DOCKER_NAMESPACE/$new_image_name"
  22. docker push $DOCKER_NAMESPACE/$new_image_name
  23. echo "Pushed $DOCKER_NAMESPACE/$new_image_name"
  24. done