diff options
| author | Levente Polyak <anthraxx@archlinux.org> | 2020-02-12 00:05:00 +0100 |
|---|---|---|
| committer | Levente Polyak <anthraxx@archlinux.org> | 2020-02-12 00:05:00 +0100 |
| commit | bcb1b4a163694347604f3ad4fef254737fe923ff (patch) | |
| tree | 9c7e27e7f6c1acbe63666db36b0a5d17739c1309 | |
| parent | 57fb44b97662e1c3753c150a231c5a362049025a (diff) | |
| download | devtools32-bcb1b4a163694347604f3ad4fef254737fe923ff.tar.xz | |
offload-build: handle user specific makepkg.conf on the remote host
This ensures we take user specific config values for PKGDEST into
account when printing the package list. This is required as devtools
archbuild_cmd puts packages potentially into the user defined PKGDEST
which the package list would otherwise miss.
| -rwxr-xr-x | offload-build.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/offload-build.in b/offload-build.in index 80b67da..33c82a0 100755 --- a/offload-build.in +++ b/offload-build.in @@ -109,11 +109,12 @@ mapfile -t files < <( printf "%s\n" "" "-> build complete" && printf "\t%s\n" "$temp"/* } >&2 && + makepkg_user_config="${XDG_CONFIG_HOME:-$HOME/.config}/pacman/makepkg.conf" && makepkg_config="/usr/share/devtools/makepkg-'"${arch}"'.conf" && if [[ -f /usr/share/devtools/makepkg-'"${repo}"'-'"${arch}"'.conf ]]; then makepkg_config="/usr/share/devtools/makepkg-'"${repo}"'-'"${arch}"'.conf" fi && - makepkg --config "${makepkg_config}" --packagelist + makepkg --config <(cat "${makepkg_user_config}" "${makepkg_config}" 2>/dev/null) --packagelist ') |