bump_docker.sh « utils - github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.

Welcome to mirror list, hosted at ThFree Co, Russian Federation.

bump_docker.sh « utils - github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/utils/bump_docker.sh

blob: 436aaef10aa612d519905a9c61e164dd6beaab11 (plain)

#!/bin/sh

set -ex

if [ -z "$1" ]; then
    echo "bump_docker.sh [VERSION]"
    exit
fi

cd docker
git checkout .
sed -i "" -e "s/==[0-9.]\{1,\}/==$1/" base/Dockerfile
sed -i "" -e "s/==[0-9.]\{1,\}/==$1/" latexpdf/Dockerfile
git commit -am "Bump to $1"
git tag $1
git push origin master --tags