diff --git a/deb.fix.sh b/deb.fix.sh index 2ee9407..043fd7a 100755 --- a/deb.fix.sh +++ b/deb.fix.sh @@ -15,7 +15,8 @@ REMOTE_ROOT="https://deb.debian.org/${DEBIAN_ROOT}" for dist in "${DISTS[@]}"; do for section in "${SECTIONS[@]}"; do - cd "${LOCAL_ROOT}/${dist}/${section}" + cd "${LOCAL_ROOT}/${dist}/${section}" || + echo "${ERROR}" rm --force "${MISSING}" wget "${REMOTE_ROOT}/${dist}/${section}/${MISSING}" &>/dev/null || echo "${ERROR}"