diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-06-10 01:07:24 -0600 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-06-10 16:39:21 -0600 |
| commit | db43b1ae4456367d9909ce3ccc00be7dede651fc (patch) | |
| tree | fe127523ac46db8894a3fe5cb3a20b42a832e462 | |
| parent | cd5768ef4bc36b33699539d9656f455bafb0de0c (diff) | |
lint-src: Minor tidying up of Bash syntax
| -rwxr-xr-x | build-aux/lint-src | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/lint-src b/build-aux/lint-src index 033340d..1871d1b 100755 --- a/build-aux/lint-src +++ b/build-aux/lint-src @@ -13,7 +13,7 @@ err() { } get-dscname() { - if [[ $1 == */Documentation/* ]] && [[ "$(sed 1q -- "$1")" == 'NAME' ]]; then + if [[ $1 == */Documentation/* && "$(sed 1q -- "$1")" == 'NAME' ]]; then sed -n ' 2{ s,[/.],_,g; @@ -90,7 +90,7 @@ get-dscname() { # File body ############################################################ - if grep -n --color=auto "$(printf '\\S\t')" "$filename"; then + if grep -n --color=auto $'\\S\t' "$filename"; then err "$filename" 'uses tabs for alignment' fi done |