From ed512c188a79f67fb69a6befadbe0043c435747b Mon Sep 17 00:00:00 2001
From: Ian Kelling <iank@fsf.org>
Date: Tue, 10 Nov 2020 15:01:22 -0500
Subject: [PATCH] better distro version numbers
---
src/identify-distros | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
diff --git a/src/identify-distros b/src/identify-distros
index a62889e..9c2221f 100644
--- a/src/identify-distros
+++ b/src/identify-distros
@@ -45,8 +45,15 @@ distro-name-ver() {
}
distro-num() {
- # subshell keeps environment clean
- ( . /etc/os-release; echo ${VERSION_ID%%.*}; )
+ # Subshell keeps environment clean.
+ ( . /etc/os-release
+ # in ubuntu the .x matters, trisquel it doesnt
+ if [[ $ID == ubuntu ]]; then
+ echo $VERSION_ID
+ else
+ echo ${VERSION_ID%%.*}
+ fi
+ )
}
debian-archive() {
--
2.30.2