]> https://gitweb.dealii.org/ - candi.git/commitdiff
Fix an undefined variable error.
authorDavid Wells <drwells@email.unc.edu>
Thu, 23 Sep 2021 15:21:58 +0000 (11:21 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sun, 26 Sep 2021 22:34:44 +0000 (18:34 -0400)
candi.sh

index d032851fc1c0d67eeef360a5e9b759fd41cb9484..a095511bde65ad19a34fd1bf5dfa93b700589a90 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -646,10 +646,10 @@ guess_platform() {
         elif [ "${OS_NAME}" == "openSUSE Leap" ]; then
             echo opensuse15
 
-        elif [ "${PRETTY_NAME}" == "Arch Linux" ]; then
+        elif [ "${OS_PRETTY_NAME}" == "Arch Linux" ]; then
             echo arch
 
-        elif [ "${PRETTY_NAME}" == "Manjaro Linux" ]; then
+        elif [ "${OS_PRETTY_NAME}" == "Manjaro Linux" ]; then
             echo arch
         fi
     fi

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.