diff options
author | Erich Eckner <git@eckner.net> | 2022-05-18 21:23:22 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2022-05-18 21:23:22 +0200 |
commit | fd01e709dca462a052fec404a7887545b635223d (patch) | |
tree | 84b47177682803dc04dbf2fd04de530e46d754f8 /bin/nit-picker | |
parent | e7df9a4f5aa42a5a59fe715365532cc9323c77e9 (diff) | |
download | builder-fd01e709dca462a052fec404a7887545b635223d.tar.xz |
make linter happy
Diffstat (limited to 'bin/nit-picker')
-rwxr-xr-x | bin/nit-picker | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/nit-picker b/bin/nit-picker index 8dd0156..56321b9 100755 --- a/bin/nit-picker +++ b/bin/nit-picker @@ -281,9 +281,9 @@ while pgrep -x ii >/dev/null \ case "${action}" in 'commit') # check whether a given commit is present in the git repo git_repo="${parameters%% *}" - git_rev="${parameters#${git_repo} }" + git_rev="${parameters#"${git_repo}" }" git_head="${git_rev%% *}" - git_rev="${git_rev#${git_head} }" + git_rev="${git_rev#"${git_head}" }" # shellcheck disable=SC2016 eval "$( printf 'git_dir="${repo_paths__%s}"\n' \ |