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
|
* {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