]> https://gitweb.dealii.org/ - candi.git/commitdiff
Update candi.sh
authorXiaoyu WEI <xywei@users.noreply.github.com>
Sun, 17 Jan 2016 06:36:26 +0000 (14:36 +0800)
committerXiaoyu WEI <xywei@users.noreply.github.com>
Sun, 17 Jan 2016 06:36:26 +0000 (14:36 +0800)
Removed usage of cecho() and BAD before their definition.

candi.sh

index d99981d70278ffc9cf5a43c3e20d59c5f10eece5..3e01303934a3b8ff2431530b4b6fc206381fc4a9 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -89,7 +89,7 @@ if builtin command -v wget > /dev/null; then
 fi
 
 if [ -z "${DOWNLOADERS}" ]; then
-    cecho ${BAD} "Please install wget or curl."
+    echo "Please install wget or curl."
     exit 1
 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.