From 72f4d4fd1852d773a13438d1b1def64bf74e645e Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sat, 28 Sep 2024 21:21:42 +0200 Subject: [PATCH] shrink --- deb.fix.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/deb.fix.sh b/deb.fix.sh index 74ca385..35c7583 100755 --- a/deb.fix.sh +++ b/deb.fix.sh @@ -4,7 +4,7 @@ ROOT="$(dirname "${FILE}")" ERROR='→ ERROR! ERROR! ERROR! ←' DISTS=( -'bookworm' 'bookworm-backports' 'bookworm-updates' + 'bookworm' 'bookworm-backports' 'bookworm-updates' ) MISSING='Contents-all.gz' SECTIONS=('main' 'non-free-firmware' 'contrib' 'non-free') @@ -13,12 +13,12 @@ DEBIAN_ROOT='debian/dists' LOCAL_ROOT="${ROOT}/root/deb/debian/${DEBIAN_ROOT}" REMOTE_ROOT="https://deb.debian.org/${DEBIAN_ROOT}" -for dist in "${DISTS[@]}" ; do - for section in "${SECTIONS[@]}" ; do +for dist in "${DISTS[@]}"; do + for section in "${SECTIONS[@]}"; do cd "${LOCAL_ROOT}/${dist}/${section}" rm --force "${MISSING}" - wget "${REMOTE_ROOT}/${dist}/${section}/${MISSING}" &> /dev/null - if [ ${?} -ne 0 ] ; then + wget "${REMOTE_ROOT}/${dist}/${section}/${MISSING}" &>/dev/null + if [ ${?} -ne 0 ]; then echo "${ERROR}" fi done