diff options
| -rwxr-xr-x | bin/chroot-installation.sh | 33 |
1 files changed, 17 insertions, 16 deletions
diff --git a/bin/chroot-installation.sh b/bin/chroot-installation.sh index 01b0c7c7..9962413c 100755 --- a/bin/chroot-installation.sh +++ b/bin/chroot-installation.sh @@ -49,23 +49,24 @@ cleanup_all() { } execute_ctmpfile() { - set -x - chmod +x $CTMPFILE - set -o pipefail # see eg http://petereisentraut.blogspot.com/2010/11/pipefail.html - if ! $(sudo chroot $CHROOT_TARGET $TMPFILE 2>&1 | tee $TMPLOG) ; then - RESULT=$(egrep "Failed to fetch.*Unable to connect to" $TMPLOG || true) - if [ ! -z "$RESULT" ] ; then - echo - echo "Trying to workaround temporarily failure fetching packages, trying again..." - echo - sudo chroot $CHROOT_TARGET $TMPFILE - else - exit 1 - fi - fi + sudo chroot $CHROOT_TARGET $TMPFILE + #set -x + #chmod +x $CTMPFILE + #set -o pipefail # see eg http://petereisentraut.blogspot.com/2010/11/pipefail.html + #if ! $(sudo chroot $CHROOT_TARGET $TMPFILE 2>&1 | tee $TMPLOG) ; then + # RESULT=$(egrep "Failed to fetch.*Unable to connect to" $TMPLOG || true) + # if [ ! -z "$RESULT" ] ; then + # echo + # echo "Trying to workaround temporarily failure fetching packages, trying again..." + # echo + # sudo chroot $CHROOT_TARGET $TMPFILE + # else + # exit 1 + # fi + #fi rm $CTMPFILE - set +o pipefail - set +x + #set +o pipefail + #set +x echo "Debug: This should only be printed on success." } |