handle skin.ini name better
All checks were successful
CI/CD Pipeline / Full CI/CD Pipeline (push) Successful in 13s

This commit is contained in:
2025-06-18 20:08:05 +02:00
parent eaf87258d4
commit 1753e63028

View File

@@ -676,7 +676,7 @@ jobs:
skin_header="$skin"
if [ -f "$ini_file" ]; then
name_line=$(grep -a -i '^Name[[:space:]]*:' "$ini_file" | head -n1 || true)
name_line=$(grep -a -i -m1 'Name[[:space:]]*:' "$ini_file" || true)
if [ -n "$name_line" ]; then
val="${name_line#*:}"
val="$(echo "$val" | sed 's/^[[:space:]]*//;s/[[:space:]]*$//')"
@@ -718,7 +718,7 @@ jobs:
skin_header="$skin"
if [ -f "$ini_file" ]; then
name_line=$(grep -a -i '^Name[[:space:]]*:' "$ini_file" | head -n1 || true)
name_line=$(grep -a -i -m1 'Name[[:space:]]*:' "$ini_file" || true)
if [ -n "$name_line" ]; then
val="${name_line#*:}"
val="$(echo "$val" | sed 's/^[[:space:]]*//;s/[[:space:]]*$//')"