diff --git a/.github/workflows/filename-check.yml b/.github/workflows/filename-check.yml index 8ae7db55..4f78a107 100644 --- a/.github/workflows/filename-check.yml +++ b/.github/workflows/filename-check.yml @@ -14,9 +14,10 @@ jobs: - name: Check for capital letters in filenames in 'doc/manual' run: | echo "Hello" - files_with_caps=$(find doc/manual -type f) + all_files=$(find doc/manual -type f) + echo $all_files + files_with_caps=$(find doc/manual -type f | grep -E '[A-Z]') echo $files_with_caps -# files_with_caps=$(find doc/manual -type f | grep '[A-Z]') # if [ ! -z "$files_with_caps" ]; then # echo "Files with capital letters:" # echo "$files_with_caps"