diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-05-29 20:23:05 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-05-29 20:23:05 +0200 |
commit | e2b8cc3e3a5728d0bc476f075ade0f099e012815 (patch) | |
tree | 9ba07788d25a911d2bc152d8dec960c36ee4b9ed | |
parent | 54492293e6abb6a181c987456e0be927c872bf99 (diff) | |
download | deployment-e2b8cc3e3a5728d0bc476f075ade0f099e012815.tar.gz deployment-e2b8cc3e3a5728d0bc476f075ade0f099e012815.tar.bz2 deployment-e2b8cc3e3a5728d0bc476f075ade0f099e012815.zip |
no overwrite
-rwxr-xr-x | buildbot/make_auditor_reports.sh | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index 5a06a77..f9ff64d 100755 --- 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}". |