aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/ci/git-post-receive.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* git-post-receive.sh: Derive $LOGS_DIR from repository directory nameEuAndreh2023-03-131-1/+1
* {git-post-receive,cronjob}.sh: Improve portability•••- 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. EuAndreh2023-03-131-2/+6
* Copy files backEuAndreh2023-03-111-0/+171