diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/profile/proteanos.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/profile/proteanos.sh b/src/profile/proteanos.sh index 0a7b935..c41eada 100644 --- a/src/profile/proteanos.sh +++ b/src/profile/proteanos.sh @@ -36,6 +36,7 @@ start() rm -f "${SCRIPT}" } ' +prof_proteanos_manifest='' prof_proteanos_detect_root() { @@ -117,15 +118,19 @@ prof_proteanos_validate_archplat() shift 4 local archplat= + [ -z "${prof_proteanos_manifest}" ] && \ + prof_proteanos_manifest="$(${WGET} -q -O - -- \ + "${mirror}/feeds/${suite}/Manifest")" + while read -r archplat; do case "${archplat}" in - "${arch}/${plat}") + all/*/* | */all/*) ;; + "${arch}/${plat}/"*) return 0 ;; esac done <<-EOF - $(${WGET} -q -O - -- "${mirror}/feeds/${suite}/Manifest" | sed \ - 's|/[^/]*$||; /^all\//d; /\/all$/d;') + ${prof_proteanos_manifest} EOF return 1 |