diff options
author | Levente Polyak <anthraxx@archlinux.org> | 2019-06-12 23:59:01 +0200 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2019-06-13 00:17:11 +0200 |
commit | f522ce2277100a147baa2656753231b14cf1f71d (patch) | |
tree | c485735ffe9d2f0d756bfbfef38a985c20782d9b /offload-build | |
parent | 774774961025b79d84a466f75c651ce17c946928 (diff) | |
download | devtools-f522ce2277100a147baa2656753231b14cf1f71d.tar.gz devtools-f522ce2277100a147baa2656753231b14cf1f71d.tar.xz |
offload-build: disable shellcheck false-positive for shell-escape
Diffstat (limited to 'offload-build')
-rwxr-xr-x | offload-build | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/offload-build b/offload-build index 101a146..7a07b15 100755 --- a/offload-build +++ b/offload-build @@ -89,6 +89,7 @@ makepkg --source || die "unable to make source package" mapfile -t files < <( # This is sort of bash golfing but it allows running a mildly complex # command over ssh with a single connection. + # shellcheck disable=SC2145 cat "$SRCPKGDEST"/*.src.tar.gz | ssh $server ' temp="${XDG_CACHE_HOME:-$HOME/.cache}/offload-build" && |