[arch-projects] [devtools][PATCH] Use pristine pacman.conf to get preferred mirror

[Connor Behan]

The user's own pacman.conf can be problematic if 'devtools' is part of
IgnorePkg. This resulted in the chroot having an empty mirrorlist and
therefore a broken build.

Signed-off-by: Connor Behan <connor.behan at gmail.com>
---
 mkarchroot.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mkarchroot.in b/mkarchroot.in
index 20de5e6..4baf03a 100644
--- a/mkarchroot.in
+++ b/mkarchroot.in
@@ -72,7 +72,7 @@ else
 	cache_dirs=(${cache_dir})
 fi
 
-host_mirror=$(pacman -Sddp extra/devtools 2>/dev/null | sed -E 's#(.*/)extra/os/.*#\1$repo/os/$arch#')
+host_mirror=$(pacman --config /usr/share/devtools/pacman-extra.conf -Sddp extra/devtools 2>/dev/null | sed -E 's#(.*/)extra/os/.*#\1$repo/os/$arch#')
 if echo "${host_mirror}" | grep -q 'file://'; then
 	host_mirror_path=$(echo "${host_mirror}" | sed -E 's#file://(/.*)/\$repo/os/\$arch#\1#g')
 fi
-- 
1.8.1.4