From 40421c0cdad1dd57318d7c66cd78c7b56989e840 2024-02-24 00:55:17
From: Branko Majic <branko@majic.rs>
Date: 2024-02-24 00:55:17
Subject: [PATCH] GC-43: Fix provisioning script for Vagrant machine:

- Version patch number can be longer than one digit, make sure to
  strip it correctly.

---

diff --git a/provision.sh b/provision.sh
index f9e9079eb1156b179f129b19f87fe027983a22e7..a0f455564c5685e1cf021ef9d1dd0279b7b33f96 100755
--- a/provision.sh
+++ b/provision.sh
@@ -52,7 +52,7 @@ sudo -i -u vagrant mkdir -p "$work_directory"
 
 for version in "${python_versions[@]}"; do
     # Set-up information about Python version.
-    minor_version="${version%.[[:digit:]]}"
+    minor_version="${version%.[[:digit:]]*}"
     interpreter="/usr/local/bin/python${minor_version}"
     source_archive_link="https://www.python.org/ftp/python/${version}/Python-${version}.tar.xz"
     source_archive="$work_directory/Python-${version}.tar.xz"