aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/scripts (follow)
Commit message (Collapse)AuthorAgeFilesLines
* src/infrastructure/scripts/report.sh: Remove redundant margin CSS valueEuAndreh2023-03-131-1/+1
|
* {git-post-receive,cronjob}.sh: Improve portabilityEuAndreh2023-03-131-4/+13
| | | | | | | - 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-117-0/+943