]> https://gitweb.dealii.org/ - candi.git/commitdiff
guess_platform: use major version for debian as well 164/head
authorUwe Köcher <mail@uwe.koecher.cc>
Fri, 22 Jan 2021 22:52:55 +0000 (23:52 +0100)
committerUwe Köcher <mail@uwe.koecher.cc>
Fri, 22 Jan 2021 22:52:55 +0000 (23:52 +0100)
candi.sh

index 83eed8c98a5d38830b223b06c4935b41c18ce589..55d57b48f130eaade3ac2b033fe6b7131b43d94f 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -589,7 +589,7 @@ guess_platform() {
             echo rhel${OS_MAJOR_VER}
 
         elif [ "$OS_ID" == "debian" ]; then
-            echo debian${OS_VERSIONID}
+            echo debian${OS_MAJOR_VER}
 
         elif [ "$OS_ID" == "ubuntu" ]; then
             echo ubuntu${OS_MAJOR_VER}

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.