Add script mpi/next-kernel-number

Add a script which figures out the next free Mariux64 kernel build number.
mariux64 · Jan 18, 2024 · 7248979 · 7248979
1 parent b1bd990
commit 7248979
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/mpi/next-kernel-number 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