[monitoring-plugins] (Re)construct PLATFORM_ID as it's droped since ...

[Jan Wagner]

 Module: monitoring-plugins
 Branch: master
 Commit: 278954117cabd8e76941d4191a2692bfdeb39372
 Author: Jan Wagner <waja at cyconet.org>
   Date: Fri Aug  1 21:33:39 2025 +0200
    URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=27895411

(Re)construct PLATFORM_ID as it's droped since Fedora 43

See https://fedoraproject.org/wiki/Changes/Drop_PLATFORM_ID?#Drop_PLATFORM_ID

---

 .github/os_detect.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/os_detect.sh b/.github/os_detect.sh
index 47c762d3..3c5956de 100644
--- a/.github/os_detect.sh
+++ b/.github/os_detect.sh
@@ -22,4 +22,7 @@ else
   return 1
 fi
 export distro_id=$(grep '^ID=' $os_release_file|awk -F = '{print $2}'|sed 's/\"//g')
+export version_id=$(grep '^VERSION_ID=' $os_release_file|awk -F = '{print $2}'|sed 's/\"//g')
 export platform_id=$(grep '^PLATFORM_ID=' /etc/os-release|awk -F = '{print $2}'|sed 's/\"//g'| cut -d":" -f2)
+# Fedora dropped PLATFORM_ID: https://fedoraproject.org/wiki/Changes/Drop_PLATFORM_ID?#Drop_PLATFORM_ID
+if [ -z $platform_id ]; then export platform_id=$(echo ${distro_id:0:1}${version_id}); fi