diff options
-rw-r--r-- | .editorconfig | 4 | ||||
-rwxr-xr-x | Documentation/scripts/undocumented-uuids.sh | 8 | ||||
-rwxr-xr-x | scripts/format-uuid.sh | 8 |
3 files changed, 10 insertions, 10 deletions
diff --git a/.editorconfig b/.editorconfig index 7d7687d..ad9a23d 100644 --- a/.editorconfig +++ b/.editorconfig @@ -1,7 +1,7 @@ -# SPDX-FileCopyrightText: 2022 Alyssa Ross <hi@alyssa.is> +# SPDX-FileCopyrightText: 2022, 2023 Alyssa Ross <hi@alyssa.is> # SPDX-License-Identifier: CC0-1.0 root = true -[*.awk] +[*.{awk,sh}] indent_style = tab diff --git a/Documentation/scripts/undocumented-uuids.sh b/Documentation/scripts/undocumented-uuids.sh index aa192e6..739eaf6 100755 --- a/Documentation/scripts/undocumented-uuids.sh +++ b/Documentation/scripts/undocumented-uuids.sh @@ -13,7 +13,7 @@ trap 'rm -f -- "$documented_uuids"' EXIT grep -Eio "$PATTERN" "$UUID_REFERENCE_PATH" | sort -u >"$documented_uuids" git ls-files -coz --exclude-standard | - grep -Fxvz "$UUID_REFERENCE_PATH" | - xargs -0 git grep -Ehio --no-index --no-line-number "$PATTERN" -- | - sort -u | - comm -23 - "$documented_uuids" + grep -Fxvz "$UUID_REFERENCE_PATH" | + xargs -0 git grep -Ehio --no-index --no-line-number "$PATTERN" -- | + sort -u | + comm -23 - "$documented_uuids" diff --git a/scripts/format-uuid.sh b/scripts/format-uuid.sh index 441ed64..497a5f2 100755 --- a/scripts/format-uuid.sh +++ b/scripts/format-uuid.sh @@ -5,10 +5,10 @@ # SPDX-License-Identifier: EUPL-1.2+ substr () { - str=$1 - beg=$2 - end=$3 - echo "$str" | cut -c "$beg-$end" + str=$1 + beg=$2 + end=$3 + echo "$str" | cut -c "$beg-$end" } u1=$(substr "$1" 1 8) |