<div class="gmail_quote"><div dir="ltr">On Sat, Jul 15, 2017, 01:10 Luke Shumaker <<a href="mailto:lukeshu@lukeshu.com">lukeshu@lukeshu.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Fri, 14 Jul 2017 06:04:50 -0400,<br>
Christian Hesse wrote:<br>
> -host_mirror=$(pacman --cachedir /doesnt/exist -Sddp extra/devtools 2>/dev/null | sed -r 's#(.*/)extra/os/.*#\1$repo/os/$arch#')<br>
> +host_mirror=$(pacman --config "${pac_conf:-$working_dir/etc/pacman.conf}" --cachedir /doesnt/exist -Sddp extra/devtools 2>/dev/null | sed -r 's#(.*/)extra/os/.*#\1$repo/os/$arch#')<br>
>  # shellcheck disable=2016<br>
>  [[ $host_mirror == *file://* ]] && host_mirror_path=$(echo "$host_mirror" | sed -r 's#file://(/.*)/\$repo/os/\$arch#\1#g')<br>
<br>
While we're at it: what is the point of setting host_mirror anyway?<br>
I've had users complain about it causing problems like this and<br>
others.<br></blockquote></div><div><br></div><div>Our build server also hosts a compete rsync'ed mirror, so the first server in the mirrorlist has a file:// URL, while additional cache dirs point into the mirror package pool.</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div>