aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/ci (follow)
Commit message (Collapse)AuthorAgeFilesLines
* git-post-receive.sh: Derive $LOGS_DIR from repository directory nameEuAndreh2023-03-131-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 1aae8bf19fb588853c6ec594d0b6fbc2aebf07b9 git notes --ref=refs/notes/ci-data show 1aae8bf19fb588853c6ec594d0b6fbc2aebf07b9 Exit status: 0 Duration: 20
* {git-post-receive,cronjob}.sh: Improve portabilityEuAndreh2023-03-131-2/+6
| | | | | | | - don't use GNU's date(1) "%s" proprietary option, and leverage AWK's default behaviour of `srand()` to get the seconds since UNIX epoch; - don't rely on GNU's sed(1) "-u" proprietary option of unbuffering, and do a manual `while` loop instead.
* Copy files backEuAndreh2023-03-112-0/+185