diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/splashtool | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/splashtool b/src/splashtool index 95f8975..8443f46 100755 --- a/src/splashtool +++ b/src/splashtool @@ -26,12 +26,12 @@ d="$(dirname "$(realpath "$0")")" trim () { sed -e 's/\t/ /g' | sed -e '/^[ \t]*\(#\|$\)/d' -e 's/ #.*$//' -e 's/^ *//' -e 's/ *$//' | - awk ' BEGIN { text = 0; } - { t=tolower($1); - if (t=="text") text+=1; - if (t=="timeout" || t=="menu" || t=="font" || text==1) print $LINE; - if (t=="endtext") text+=1; - }' + awk 'BEGIN { text = 0; } + { t=tolower($1); + if (t=="text") text+=1; + if (t=="timeout" || t=="menu" || t=="font" || text==1) print $LINE; + if (t=="endtext") text+=1; + }' } cd "$(dirname "$1")" |