res/ci: split CI steps into separate scripts

also various other improvements

Author: classabbyamp

res/ci/check-summary.sh

@@ -2,6 +2,8 @@
 
 ERROR=0
 
+printf "\n\033[37;1m=> Checking SUMMARY.md\033[m\n"
+
 cd src/ || exit 2
 
 # summary is the list of files taken from SUMMARY.md - unused for now
@@ -11,8 +13,8 @@ files="$( find . -type f -name '*.md' -not -name "SUMMARY.md" )"
 
 for file in $files
 do
-    if ! grep "$file" ./SUMMARY.md >/dev/null ; then
-        printf "\033[31;1m=> $file not in SUMMARY\033[m\n"
+    if ! grep -q "$file" ./SUMMARY.md ; then
+        printf "::error title=Summary Lint,file=src/SUMMARY.md::$file not in SUMMARY.md\n"
         ERROR=1
     fi
 done

res/ci/format.sh

@@ -1,29 +1,15 @@
 #!/bin/sh
 
-git config --global --add safe.directory "$PWD"
-
-printf "\033[37;1m=> Checking links\033[m\n"
-RUST_LOG=linkcheck=debug mdbook-linkcheck -s
-LINKCHECK=$?
-
-# Format them
 printf "\n\033[37;1m=> Formatting tree\033[m\n"
 vmdfmt -l -w src/
 
 # Check Status
 if [ ! -z "$(git status --porcelain)" ] ; then
-    git diff
-    printf "\033[31;1m=> Working directory not clean, files to be formatted:\033[m\n"
-    git status
-    VMDFMT=1
-fi
-
-# Check SUMMARY.md
-printf "\n\033[37;1m=> Checking SUMMARY.md\033[m\n"
-res/ci/check-summary.sh
-SUMMARY=$?
-
-# Generate exit value
-if [ ! -z $VMDFMT ] || [ ! $LINKCHECK -eq 0 ] || [ ! $SUMMARY -eq 0 ] ; then
-    exit 2
+    git diff --color=always
+    printf "\033[31;1m=> Files which need to be formatted:\033[m\n"
+    for f in $(git status | grep -Po 'modified:\K.*$'); do
+        printf "$f\n"
+        printf "::error title=Formatting Lint,file=$f,line=1::File has improper formatting\n"
+    done
+    exit 1
 fi

res/ci/linkcheck.sh

@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# only show all the debug messages if ci is run with debug
+if [ "$RUNNER_DEBUG" ]; then
+    loglevel=debug
+else
+    loglevel=error
+fi
+
+printf "\033[37;1m=> Checking links\033[m\n"
+RUST_LOG="linkcheck=$loglevel" mdbook-linkcheck -s -c always