File tree Expand file tree Collapse file tree 3 files changed +10
-10
lines changed
Expand file tree Collapse file tree 3 files changed +10
-10
lines changed Original file line number Diff line number Diff line change 1212 run : |
1313 xbps-install -Syu || xbps-install -Syu xbps
1414 xbps-install -yu
15- xbps-install -y mdbook-linkcheck vmdfmt git
15+ xbps-install -y mdbook-linkcheck vmdfmt git findutils
1616 - uses : actions/checkout@v1
1717 - run : ./res/ci/format.sh
Original file line number Diff line number Diff line change 11#! /bin/sh
22
3+ ERROR=0
4+
35cd src/ || exit 2
46
57# summary is the list of files taken from SUMMARY.md - unused for now
@@ -9,11 +11,10 @@ files="$( find . -type f -name '*.md' -not -name "SUMMARY.md" )"
911
1012for file in $files
1113do
12- if ! grep " $file " ./SUMMARY.md > /dev/null 2>&1 ; then
13- echo " $file not in SUMMARY"
14+ if ! grep " $file " ./SUMMARY.md > /dev/null ; then
15+ printf " \033[31;1m=> $file not in SUMMARY\033[m\n "
1416 ERROR=1
1517 fi
1618done
1719
18- [ -z " $ERROR " ] && exit 0
19- exit 2
20+ exit $ERROR
Original file line number Diff line number Diff line change 22
33git config --global --add safe.directory " $PWD "
44
5- echo " Checking links"
5+ printf " \033[37;1m=> Checking links\033[m\n "
66RUST_LOG=linkcheck=debug mdbook-linkcheck -s
77LINKCHECK=$?
88
99# Format them
10- printf " Formatting tree"
10+ printf " \n\033[37;1m=> Formatting tree\033[m\n "
1111vmdfmt -l -w src/
1212
1313# Check Status
1414if [ ! -z " $( git status --porcelain) " ] ; then
1515 git diff
16- echo " Working directory not clean, files to be formatted:"
16+ printf " \033[31;1m=> Working directory not clean, files to be formatted:\033[m\n "
1717 git status
1818 VMDFMT=1
1919fi
2020
2121# Check SUMMARY.md
22- echo " "
23- echo " Checking SUMMARY.md"
22+ printf " \n\033[37;1m=> Checking SUMMARY.md\033[m\n"
2423res/ci/check-summary.sh
2524SUMMARY=$?
2625
You can’t perform that action at this time.
0 commit comments