X-Git-Url: https://git.decadent.org.uk/gitweb/?a=blobdiff_plain;f=config%2Fdebian%2Fdinstall.functions;h=a0c362c17f97475f8fc77f61523f675a13f7968d;hb=11c5e4d559120ac40c31b27c9422c79dfa5e0960;hp=a11c75e3049332c826b6b2e88daa222600aaaf26;hpb=3a18a9c192d517c71593ed66e22f056738592d89;p=dak.git diff --git a/config/debian/dinstall.functions b/config/debian/dinstall.functions index a11c75e3..a0c362c1 100644 --- a/config/debian/dinstall.functions +++ b/config/debian/dinstall.functions @@ -56,7 +56,7 @@ function onerror() { # pushing merkels QA user, part one function qa1() { log "Telling QA user that we start dinstall" - ssh -2 -i ~dak/.ssh/push_merkel_qa -o BatchMode=yes -o SetupTimeOut=90 -o ConnectTimeout=90 qa@qa.debian.org sleep 1 + ssh -n -2 -i ~dak/.ssh/push_merkel_qa -o BatchMode=yes -o SetupTimeOut=90 -o ConnectTimeout=90 qa@qa.debian.org sleep 1 } # Updating various files @@ -443,7 +443,7 @@ function mirror() { log "Regenerating \"public\" mirror/${archive} hardlink fun" DATE_SERIAL=$(date +"%Y%m%d01") - FILESOAPLUS1=$(awk '/serial/ { print $3+1 }' ${TRACEFILE} ) + FILESOAPLUS1=$(awk '/serial/ { print $3+1 }' ${TRACEFILE} || echo ${DATE_SERIAL} ) if [ "$DATE_SERIAL" -gt "$FILESOAPLUS1" ]; then SERIAL="$DATE_SERIAL" else