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 | |
| parent | 774774961025b79d84a466f75c651ce17c946928 (diff) | |
| download | devtools32-f522ce2277100a147baa2656753231b14cf1f71d.tar.xz | |
offload-build: disable shellcheck false-positive for shell-escape
| -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" && |