]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi: updated comments
authorUwe Köcher <koecher@hsu-hamburg.de>
Mon, 2 Nov 2015 16:57:35 +0000 (17:57 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Mon, 2 Nov 2015 16:57:35 +0000 (17:57 +0100)
candi.sh

index 80c1ab28814e06b1416f85644133f5160fd16321..00fb119073871e48d768ca7c59c12ca22d36a13b 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -87,7 +87,7 @@ INFO="\033[1;34m"
 BOLD="\033[1m"
 
 ################################################################################
-### Define helper functions ###
+# Define candi helper functions
 
 prettify_dir() {
    # Make a directory name more readable by replacing homedir with "~"
@@ -117,6 +117,7 @@ quit_if_fail() {
     fi
 }
 
+################################################################################
 #verify_archive():
 #  return -1: internal error
 #  return 0: CHECKSUM is matching

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.