#!/bin/sh -eu
# migrate.sh -- a Debian image to Devuan
# Copyright (C) 2017  Olaf Meeuwissen
#
# License: GPL-3.0+

docker pull "$CI_REGISTRY_IMAGE"/migrated:"$DEBIAN_VERSION" || true
docker build --build-arg DEBIAN_VERSION="$DEBIAN_VERSION" \
       --tag "$CI_REGISTRY_IMAGE"/migrated:"$DEBIAN_VERSION" \
       --file migrate.df .
docker push "$CI_REGISTRY_IMAGE"/migrated:"$DEBIAN_VERSION"
docker tag  "$CI_REGISTRY_IMAGE"/migrated:"$DEBIAN_VERSION" \
            "$CI_REGISTRY_IMAGE"/migrated
docker push "$CI_REGISTRY_IMAGE"/migrated