]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add a hint to the indention script 9008/head
authorPeter Munch <peterrmuench@gmail.com>
Wed, 6 Nov 2019 06:28:45 +0000 (07:28 +0100)
committerPeter Munch <peterrmuench@gmail.com>
Wed, 6 Nov 2019 14:36:32 +0000 (15:36 +0100)
contrib/utilities/indent_common.sh

index 1c6d8e0a09d4d4418968b136b081626dc46eb940..43b3eaeb30d0204e2c248f01690090d7eb36c1de 100644 (file)
@@ -86,6 +86,9 @@ checks() {
       words=($name)
       if [ "${#words[@]}" -lt "2" ]; then
          echo "invalid author '$name' without firstname and lastname"
+         echo ""
+         echo "hint: for possible solutions, consult the webpage:"
+         echo "      https://github.com/dealii/dealii/wiki/Indentation#commit-authorship"
          exit 2
       fi
   done || exit 2
@@ -95,10 +98,16 @@ checks() {
       words=($name)
       if ! echo "$email" | grep -q "\."; then
          echo "invalid email '$email'"
+          echo ""
+          echo "hint: for possible solutions, consult the webpage:"
+          echo "      https://github.com/dealii/dealii/wiki/Indentation#commit-authorship"
          exit 3
       fi
       if ! echo "$email" | grep -q -v -e "\.local$"; then
          echo "invalid email '$email'"
+          echo ""
+          echo "hint: for possible solutions, consult the webpage:"
+          echo "      https://github.com/dealii/dealii/wiki/Indentation#commit-authorship"
          exit 3
       fi
   done || exit 3

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.