V8.03.512.2025.06.06
All checks were successful
🛡️ Shell Script Linting / 🛡️ Shell Script Linting (push) Successful in 1m11s

Signed-off-by: Marc S. Weidner <msw@coresecret.dev>
This commit is contained in:
2025-06-06 17:58:08 +02:00
parent 57cf13d25f
commit 9fb432ed59
8 changed files with 48 additions and 50 deletions

View File

@@ -48,8 +48,8 @@ body:
options: options:
- label: "My edits contain no tabs, use two-space indentation, and no trailing whitespace" - label: "My edits contain no tabs, use two-space indentation, and no trailing whitespace"
- label: "I have read ~/docs/CONTRIBUTING.md and ~/docs/CODING_CONVENTION.md" - label: "I have read ~/docs/CONTRIBUTING.md and ~/docs/CODING_CONVENTION.md"
- label: "I have tested this fix or improvement on 2 VMs without issues" - label: "I have tested this fix or improvement on >=2 VMs without issues"
- label: "I have tested this new feature on 2 VMs with and without it to avoid side effects" - label: "I have tested this new feature on >=2 VMs with and without it to avoid side effects"
- label: "Documentation and/or 'usage()' and/or 'arg_parser' have been updated for the new feature" - label: "Documentation and/or 'usage()' and/or 'arg_parser' have been updated for the new feature"
- label: "I added myself to ~/docs/CREDITS.md (alphabetical) and updated ~/docs/CHANGELOG.md" - label: "I added myself to ~/docs/CREDITS.md (alphabetical) and updated ~/docs/CHANGELOG.md"
# vim: number et ts=2 sw=2 sts=2 ai tw=128 ft=yaml # vim: number et ts=2 sw=2 sts=2 ai tw=128 ft=yaml

View File

@@ -156,8 +156,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Temporarily store any local modifications or untracked files ### Temporarily store any local modifications or untracked files.
git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash" git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash."
- name: 🔄 Sync with remote before commit using merge strategy. - name: 🔄 Sync with remote before commit using merge strategy.
shell: bash shell: bash
@@ -183,8 +183,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Apply previously stashed changes ### Apply previously stashed changes.
git stash pop || echo "✔️ Nothing to pop" git stash pop || echo "✔️ Nothing to pop."
- name: 📦 Stage generated files. - name: 📦 Stage generated files.
shell: bash shell: bash
@@ -222,7 +222,7 @@ jobs:
Generated at: ${TIMESTAMP_UTC} Generated at: ${TIMESTAMP_UTC}
Runner Host : ${HOSTNAME} Runner Host : ${HOSTNAME}
Workflow ID : ${WORKFLOW_ID} Workflow ID : ${WORKFLOW_ID}
Git Commit : ${GIT_SHA} HEAD ${GIT_REF} Git Commit : ${GIT_SHA} HEAD -> ${GIT_REF}
" "
echo "🔏 Commit message :" echo "🔏 Commit message :"

View File

@@ -399,8 +399,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Temporarily store any local modifications or untracked files ### Temporarily store any local modifications or untracked files.
git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash" git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash."
- name: 🔄 Sync with remote before commit using merge strategy. - name: 🔄 Sync with remote before commit using merge strategy.
shell: bash shell: bash
@@ -426,8 +426,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Apply previously stashed changes ### Apply previously stashed changes.
git stash pop || echo "✔️ Nothing to pop" git stash pop || echo "✔️ Nothing to pop."
- name: 📦 Stage generated files. - name: 📦 Stage generated files.
shell: bash shell: bash
@@ -466,7 +466,7 @@ jobs:
Generated at: ${TIMESTAMP_UTC} Generated at: ${TIMESTAMP_UTC}
Runner Host : ${HOSTNAME} Runner Host : ${HOSTNAME}
Workflow ID : ${WORKFLOW_ID} Workflow ID : ${WORKFLOW_ID}
Git Commit : ${GIT_SHA} HEAD ${GIT_REF} Git Commit : ${GIT_SHA} HEAD -> ${GIT_REF}
" "
echo "🔏 Commit message :" echo "🔏 Commit message :"

View File

@@ -396,8 +396,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Temporarily store any local modifications or untracked files ### Temporarily store any local modifications or untracked files.
git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash" git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash."
- name: 🔄 Sync with remote before commit using merge strategy. - name: 🔄 Sync with remote before commit using merge strategy.
shell: bash shell: bash
@@ -423,8 +423,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Apply previously stashed changes ### Apply previously stashed changes.
git stash pop || echo "✔️ Nothing to pop" git stash pop || echo "✔️ Nothing to pop."
- name: 📦 Stage generated files. - name: 📦 Stage generated files.
shell: bash shell: bash
@@ -463,7 +463,7 @@ jobs:
Generated at: ${TIMESTAMP_UTC} Generated at: ${TIMESTAMP_UTC}
Runner Host : ${HOSTNAME} Runner Host : ${HOSTNAME}
Workflow ID : ${WORKFLOW_ID} Workflow ID : ${WORKFLOW_ID}
Git Commit : ${GIT_SHA} HEAD ${GIT_REF} Git Commit : ${GIT_SHA} HEAD -> ${GIT_REF}
" "
echo "🔏 Commit message :" echo "🔏 Commit message :"

View File

@@ -396,8 +396,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Temporarily store any local modifications or untracked files ### Temporarily store any local modifications or untracked files.
git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash" git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash."
- name: 🔄 Sync with remote before commit using merge strategy. - name: 🔄 Sync with remote before commit using merge strategy.
shell: bash shell: bash
@@ -423,8 +423,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Apply previously stashed changes ### Apply previously stashed changes.
git stash pop || echo "✔️ Nothing to pop" git stash pop || echo "✔️ Nothing to pop."
- name: 📦 Stage generated files. - name: 📦 Stage generated files.
shell: bash shell: bash
@@ -463,7 +463,7 @@ jobs:
Generated at: ${TIMESTAMP_UTC} Generated at: ${TIMESTAMP_UTC}
Runner Host : ${HOSTNAME} Runner Host : ${HOSTNAME}
Workflow ID : ${WORKFLOW_ID} Workflow ID : ${WORKFLOW_ID}
Git Commit : ${GIT_SHA} HEAD ${GIT_REF} Git Commit : ${GIT_SHA} HEAD -> ${GIT_REF}
" "
echo "🔏 Commit message :" echo "🔏 Commit message :"

View File

@@ -126,14 +126,12 @@ jobs:
# STEP 1: Find target files. # STEP 1: Find target files.
# #
# We capture: # We capture:
# - All files '*.sh', '*.zsh', '*.chroot', '*.yaml', '*.yml' # - All files '*.sh', '*.zsh', '*.chroot'
# - All files whose first line begins with "#!" (shebang) # - All files whose first line begins with "#!" (shebang)
# ------------------------------- # -------------------------------
mapfile -t files_to_check < <( mapfile -t files_to_check < <(
find . -type f \( \ find . -type f \( \
-iname '*.sh' -o \ -iname '*.sh' -o \
-iname '*.yml' -o \
-iname '*.yaml' -o \
-iname '*.zsh' -o \ -iname '*.zsh' -o \
-iname '*.chroot' -o \ -iname '*.chroot' -o \
-exec grep -Iq '^#!' {} \; \ -exec grep -Iq '^#!' {} \; \
@@ -143,18 +141,18 @@ jobs:
# ------------------------------- # -------------------------------
# STEP 2: Regex definitions # STEP 2: Regex definitions
# #
# - CRLF_REGEX Carriage Return (\r) for Windows CRLF # - CRLF_REGEX Carriage Return (\r) for Windows CRLF
# - CTRL_REGEX C0 control characters except Tab (\x09) and Newline (\x0A) # - CTRL_REGEX C0 control characters except Tab (\x09) and Newline (\x0A)
# Range: [\x00-\x08\x0B-\x0C\x0E-\x1F\x7F] # - Range: [\x00-\x08\x0B-\x0C\x0E-\x1F\x7F]
# - NON_ASCII_REGEX All bytes > 0x7F, except emoji characters in defined ranges # - NON_ASCII_REGEX All bytes -> 0x7F, except emoji characters in defined ranges
# #
# Emoji ranges that we exclude: # Emoji ranges that we exclude:
# - \x{1F300}-\x{1F5FF} (Misc Symbols & Pictographs) # - \x{1F300}-\x{1F5FF} Misc Symbols & Pictographs
# - \x{1F600}-\x{1F64F} (Emoticons) # - \x{1F600}-\x{1F64F} Emoticons
# - \x{1F680}-\x{1F6FF} (Transport & Map Symbols) # - \x{1F680}-\x{1F6FF} Transport & Map Symbols
# - \x{1F900}-\x{1F9FF} (Supplemental Symbols & Pictographs) # - \x{1F900}-\x{1F9FF} Supplemental Symbols & Pictographs
# - \x{2600}-\x{26FF} (Miscellaneous Symbols) # - \x{2600}-\x{26FF} Miscellaneous Symbols
# - \x{2700}-\x{27BF} (Dingbats) # - \x{2700}-\x{27BF} Dingbats
# ------------------------------- # -------------------------------
CRLF_REGEX=$'\r' CRLF_REGEX=$'\r'
@@ -253,8 +251,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Temporarily store any local modifications or untracked files ### Temporarily store any local modifications or untracked files.
git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash" git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash."
- name: 🔄 Sync with remote before commit using merge strategy. - name: 🔄 Sync with remote before commit using merge strategy.
shell: bash shell: bash
@@ -280,8 +278,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Apply previously stashed changes ### Apply previously stashed changes.
git stash pop || echo "✔️ Nothing to pop" git stash pop || echo "✔️ Nothing to pop."
- name: 📦 Stage generated files. - name: 📦 Stage generated files.
shell: bash shell: bash
@@ -320,7 +318,7 @@ jobs:
Generated at: ${TIMESTAMP_UTC} Generated at: ${TIMESTAMP_UTC}
Runner Host : ${HOSTNAME} Runner Host : ${HOSTNAME}
Workflow ID : ${WORKFLOW_ID} Workflow ID : ${WORKFLOW_ID}
Git Commit : ${GIT_SHA} HEAD ${GIT_REF} Git Commit : ${GIT_SHA} HEAD -> ${GIT_REF}
" "
echo "🔏 Commit message :" echo "🔏 Commit message :"

View File

@@ -133,8 +133,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Temporarily store any local modifications or untracked files ### Temporarily store any local modifications or untracked files.
git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash" git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash."
- name: 🔄 Sync with remote before commit using merge strategy. - name: 🔄 Sync with remote before commit using merge strategy.
shell: bash shell: bash
@@ -160,8 +160,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Apply previously stashed changes ### Apply previously stashed changes.
git stash pop || echo "✔️ Nothing to pop" git stash pop || echo "✔️ Nothing to pop."
- name: 📦 Stage generated files. - name: 📦 Stage generated files.
shell: bash shell: bash
@@ -199,7 +199,7 @@ jobs:
Generated at: ${TIMESTAMP_UTC} Generated at: ${TIMESTAMP_UTC}
Runner Host : ${HOSTNAME} Runner Host : ${HOSTNAME}
Workflow ID : ${WORKFLOW_ID} Workflow ID : ${WORKFLOW_ID}
Git Commit : ${GIT_SHA} HEAD ${GIT_REF} Git Commit : ${GIT_SHA} HEAD -> ${GIT_REF}
" "
echo "🔏 Commit message :" echo "🔏 Commit message :"

View File

@@ -126,8 +126,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Temporarily store any local modifications or untracked files ### Temporarily store any local modifications or untracked files.
git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash" git stash push --include-untracked -m "ci-temp" || echo "✔️ Nothing to stash."
- name: 🔄 Sync with remote before commit using merge strategy. - name: 🔄 Sync with remote before commit using merge strategy.
shell: bash shell: bash
@@ -153,8 +153,8 @@ jobs:
GIT_SSH_COMMAND: "ssh -p 42842" GIT_SSH_COMMAND: "ssh -p 42842"
run: | run: |
set -euo pipefail set -euo pipefail
### Apply previously stashed changes ### Apply previously stashed changes.
git stash pop || echo "✔️ Nothing to pop" git stash pop || echo "✔️ Nothing to pop."
- name: 📦 Stage generated files. - name: 📦 Stage generated files.
shell: bash shell: bash
@@ -192,7 +192,7 @@ jobs:
Generated at: ${TIMESTAMP_UTC} Generated at: ${TIMESTAMP_UTC}
Runner Host : ${HOSTNAME} Runner Host : ${HOSTNAME}
Workflow ID : ${WORKFLOW_ID} Workflow ID : ${WORKFLOW_ID}
Git Commit : ${GIT_SHA} HEAD ${GIT_REF} Git Commit : ${GIT_SHA} HEAD -> ${GIT_REF}
" "
echo "🔏 Commit message :" echo "🔏 Commit message :"