| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | src/infrastructure/scripts/report.sh: Remove redundant margin CSS value | EuAndreh | 2023-03-13 | 1 | -1/+1 |
| | | |||||
| * | {git-post-receive,cronjob}.sh: Improve portability | EuAndreh | 2023-03-13 | 1 | -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 back | EuAndreh | 2023-03-11 | 7 | -0/+943 |
