From abf1d6813db4ae828f51398091975a680ee4f2a8 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Wed, 01 Jul 2020 21:33:18 -0400 Subject: profile/proteanos: Use feeds found in manifest --- (limited to 'src/profile') diff --git a/src/profile/proteanos.sh b/src/profile/proteanos.sh index c41eada..6a0afd0 100644 --- a/src/profile/proteanos.sh +++ b/src/profile/proteanos.sh @@ -160,6 +160,10 @@ prof_proteanos_feeds() local p= local s= + [ -z "${prof_proteanos_manifest}" ] && \ + prof_proteanos_manifest="$(${WGET} -q -O - -- \ + "${mirror}/feeds/${suite}/Manifest")" + case "${plat}" in 'dev') sects='base dev lib libdev share util' @@ -171,6 +175,10 @@ prof_proteanos_feeds() for a in "${arch}" 'all'; do for p in "${plat}" 'all'; do for s in ${sects}; do + case "${LF}${prof_proteanos_manifest}${LF}" in + *"${LF}${a}/${p}/${s}${LF}"*) ;; + *) continue;; + esac printf 'src/gz proteanos_%s_%s_%s_%s_%s.gz ' \ "${suite%/*}" "${suite#*/}" \ "${a}" "${p}" "${s}" -- cgit v0.9.1