utils/bump_docker.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#!/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