CI: linter cleanup and naming factorization whenever it is possible

.gitlab/check_ci.sh

@@ -62,28 +62,46 @@ check_draft()
     return 0
 }
 
-echo "----------------------------------------------------"
-check_rebase
-
-echo ""
-echo "----------------------------------------------------"
-check_draft
+check_header()
+{
+    echo " Checking file headers: "
+    TOOLSDIR=$(dirname $0)/../tools
 
-echo ""
-echo "----------------------------------------------------"
-echo " Checking file headers: "
-TOOLSDIR=$(dirname $0)/../tools
+    $TOOLSDIR/check_header.sh
+    rc=$?
+    if [ $rc -eq 0 ]
+    then
+        echo "Check header: SUCCESS"
+    else
+        echo "Check header: FAILED"
+        success=0
+    fi
+}
 
-$TOOLSDIR/check_header.sh
-rc=$?
-if [ $rc -eq 0 ]
+if [ $# -lt 1 ]
 then
-    echo "Check header: SUCCESS"
-else
-    echo "Check header: FAILED"
-    success=0
+    echo "Usage: $0 [rebase|draft|header]"
+    exit 1
 fi
 
+echo ""
+echo "----------------------------------------------------"
+case $1 in
+    rebase)
+	check_rebase
+	;;
+    draft)
+	check_draft
+	;;
+    header)
+	check_header
+	;;
+    *)
+        echo "Usage: $0 [rebase|draft|header]"
+	exit 1
+	;;
+esac
+
 if [ $success -eq 0 ]
 then
     exit 1