diff options
author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2021-11-30 15:55:33 +0200 |
---|---|---|
committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2021-11-30 21:15:40 +0200 |
commit | 5202bd1dc0942953c415ef39c14ffd48cbaab6b9 (patch) | |
tree | 440dbaf115fac9753cb4428eac85b8abc39cdae4 /contrib | |
parent | c5712d172e92e231b8dc2828d4cf4bbbb8e86a16 (diff) |
test: Bump shellcheck version to 0.8.0
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/guix/guix-clean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/guix/guix-clean b/contrib/guix/guix-clean index 9fa17191e8..9af0a793cf 100755 --- a/contrib/guix/guix-clean +++ b/contrib/guix/guix-clean @@ -34,7 +34,7 @@ check_tools cat mkdir make git guix # under_dir() { local path_residue - path_residue="${2##${1}}" + path_residue="${2##"${1}"}" if [ -z "$path_residue" ] || [ "$path_residue" = "$2" ]; then return 1 else |