Merge pull request #3160 from dcooper16/improve_emphasize_stuff_in_headers

Improve emphasize_stuff_in_headers()
This commit is contained in:
Dirk Wetter
2026-09-23 09:33:17 +02:00
committed by GitHub
+4 -3
View File
@@ -3381,9 +3381,10 @@ emphasize_stuff_in_headers() (
match="$BASH_REMATCH"
pr_yellow "$match"
stuff="${stuff/#$match}"
elif [[ "${stuff:0:1}" =~ [0-9] ]]; then
pr_brown "${stuff:0:1}"
stuff="${stuff:1}"
elif [[ "$stuff" =~ ^[0-9][0-9][0-9][0-9][0-9][0-9][0-9]|^[0-9][0-9][0-9][0-9][0-9][0-9]|^[0-9][0-9][0-9][0-9][0-9]|^[0-9][0-9][0-9][0-9]|^[0-9][0-9][0-9]|^[0-9][0-9]|^[0-9] ]]; then
match="$BASH_REMATCH"
pr_brown "$match"
stuff="${stuff/#$match}"
else
out "${stuff:0:1}"
stuff="${stuff:1}"