| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2023-03-15 | cronjob.sh: Increase timeout to 2 hours | EuAndreh | 1 | -1/+1 | |
| 2023-03-14 | cronjob.sh: Rename $ONE_HOUR to $TIMEOUT | EuAndreh | 1 | -2/+2 | |
| 2023-03-14 | cronjob.sh: Fix space trimming on report output | EuAndreh | 1 | -0/+1 | |
| 2023-03-13 | src/infrastructure/scripts/report.sh: Remove redundant margin CSS value | EuAndreh | 1 | -1/+1 | |
| 2023-03-13 | {git-post-receive,cronjob}.sh: Improve portability | EuAndreh | 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. | |||||
| 2023-03-11 | Copy files back | EuAndreh | 7 | -0/+943 | |
 |
index : server | |
| Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
| aboutsummaryrefslogtreecommitdiff |