From 7248979cc9f2eef6370db9d5f2e28603e6556c96 Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Thu, 18 Jan 2024 19:16:10 +0100
Subject: [PATCH] Add script mpi/next-kernel-number

Add a script which figures out the next free Mariux64 kernel build
number.
---
 mpi/next-kernel-number | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 mpi/next-kernel-number

diff --git a/mpi/next-kernel-number b/mpi/next-kernel-number
new file mode 100755
index 0000000000000..2ab6c2daffd96
--- /dev/null
+++ b/mpi/next-kernel-number
@@ -0,0 +1,20 @@
+#! /bin/bash
+
+max=0
+max_name=""
+
+cd /src/mariux/beeroot/bee-files/
+
+for f in linux-[0-9]*.bee; do
+	[[ $f =~ -([0-9]+).bee ]] || continue
+	if ((  ${BASH_REMATCH[1]} > $max )); then
+		max=${BASH_REMATCH[1]}
+		max_name="$f"
+	fi
+done
+if [ -n "$max_name" ]; then
+	echo $(($max+1))
+else
+	echo "No file linux-[0-9]*.bee found in /src/mariux/beeroot/bee-files/" >&1
+	exit 1
+fi