commit e2b8cc3e3a5728d0bc476f075ade0f099e012815 parent 54492293e6abb6a181c987456e0be927c872bf99 Author: Marcello Stanisci <stanisci.m@gmail.com> Date: Wed, 29 May 2019 20:23:05 +0200 no overwrite Diffstat:
| M | buildbot/make_auditor_reports.sh | | | 14 | ++++++++------ |
1 file changed, 8 insertions(+), 6 deletions(-)
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh @@ -11,7 +11,7 @@ DATE=$(date +%Y-%m-%d) REPORT_FILE_NOEXT=${HOME}/audit_report.${DATE} WIRE_REPORT_FILE_NOEXT=${HOME}/wire_audit_report.${DATE} JINJA_TEMPLATE="auditor-report.tex.j2" -REPORTS_DIRECTORY="${HOME}/shared-data/auditor/reports" +REPORTS_DIRECTORY="${HOME}/shared-data/auditor/reports/" source ${HOME}/activate @@ -45,11 +45,13 @@ rm "${REPORT_FILE_NOEXT}.tex" echo Removing "${REPORT_FILE_NOEXT}.log" rm "${REPORT_FILE_NOEXT}.log" -# Keep the log around. -# rm "${REPORT_FILE_NOEXT}.log" chmod g+r "${REPORT_FILE_NOEXT}.pdf" + +if test -a "${REPORTS_DIRECTORY}$(basename "${REPORT_FILE_NOEXT}.pdf")"; then + echo "Today's report already compiled." + exit 0 +fi + mv "${REPORT_FILE_NOEXT}.pdf" "${REPORTS_DIRECTORY}" -chmod g+rw "${REPORTS_DIRECTORY}/${REPORT_FILE_NOEXT}.pdf" -echo "The file ${REPORTS_DIRECTORY}/${REPORT_FILE_NOEXT}.pdf" \ - "has been correctly generated." +echo Report moved in "${REPORTS_DIRECTORY}".