diff options
Diffstat (limited to 'utils/bump_docker.sh')
| -rw-r--r-- | utils/bump_docker.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/utils/bump_docker.sh b/utils/bump_docker.sh new file mode 100644 index 0000000..436aaef --- /dev/null +++ b/utils/bump_docker.sh @@ -0,0 +1,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 |