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

[Pierre Schmitz]

Am 02.03.2013 06:25, schrieb 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

This will break scenarios where the mirrors are not defined in
/etc/pacman.d/mirrorslist. This seems more valid than having devtools in
IgnorePkg. Anyway, this should really be fixed in pacman itself.

-- 
Pierre Schmitz, https://pierre-schmitz.com