]> https://gitweb.dealii.org/ - candi.git/commitdiff
platform opensuse update
authorUwe Köcher <mail@uwe.koecher.cc>
Tue, 29 Jun 2021 13:53:34 +0000 (15:53 +0200)
committerUwe Köcher <mail@uwe.koecher.cc>
Tue, 29 Jun 2021 14:55:42 +0000 (16:55 +0200)
candi.sh

index 1b5ab266b32c3837709d28114cf2deff403975ef..4169a10cc70831c84e4db6ae248ea00a54449657 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -634,10 +634,8 @@ guess_platform() {
         elif [ "$OS_ID" == "ubuntu" ]; then
             echo ubuntu${OS_MAJOR_VER}
 
-        elif [ "$OS_ID" == "opensuse" ]; then
-            if [ "${OS_NAME}" == "openSUSE Leap" ]; then
-                echo opensuse15
-            fi
+        elif [ "${OS_NAME}" == "openSUSE Leap" ]; then
+            echo opensuse15
 
         elif [ "${PRETTY_NAME}" == "Arch Linux" ]; then
             echo arch

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.