From fe85a9b527b6724433d970e218f4e23ab679b59a Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sat, 28 Sep 2024 21:14:04 +0200 Subject: [PATCH] tabs --- deb.fix.sh | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/deb.fix.sh b/deb.fix.sh index 04152cf..74ca385 100755 --- a/deb.fix.sh +++ b/deb.fix.sh @@ -14,12 +14,12 @@ 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 - cd "${LOCAL_ROOT}/${dist}/${section}" - rm --force "${MISSING}" - wget "${REMOTE_ROOT}/${dist}/${section}/${MISSING}" &> /dev/null - if [ ${?} -ne 0 ] ; then - echo "${ERROR}" - fi - done + 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 + echo "${ERROR}" + fi + done done