From 29981c1e5722860947e66170de78cffa943c0f4b Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Fri, 12 Jan 2024 19:56:00 +0000
Subject: [PATCH] add bump script

---
 scripts/bump.sh | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100755 scripts/bump.sh

diff --git a/scripts/bump.sh b/scripts/bump.sh
new file mode 100755
index 00000000..429b182b
--- /dev/null
+++ b/scripts/bump.sh
@@ -0,0 +1,35 @@
+#!/bin/sh
+
+if [ "X`git status --porcelain --untracked-files=no`" != X ] ; then
+  git status
+  echo
+  echo "*** You have local changes; cannot bump." 
+  exit 1
+fi
+
+git pull || exit 1
+
+eval `git describe --dirty --tags --match 'v[0-9]*' --always | sed -e 's/-.*//; s/v/v0=/; s/\./ v1=/; s/\./ v2=/'`
+defl=0.0.0
+if [ "X$v0" != X ] ; then
+  defl=$v0.$v1.$(($v2 + 1))
+fi
+set -e
+echo "Enter version [Enter = $defl; Ctrl-C to cancel]:"
+read ver
+if [ "X$ver" = "X" ] ; then
+  ver="$defl"
+else
+  ver=$(echo "$ver" | sed -e 's/v//i')
+fi
+if echo "$ver" | grep -qE '^[0-9]+\.[0-9]+\.[0-9]+$' ; then
+  :
+else
+  echo "Invalid version: $ver"
+  exit 1
+fi
+
+set -x
+git tag "v$ver"
+git push --tags
+git push