aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/scripts (unfollow)
Commit message (Collapse)AuthorFilesLines
2023-03-16gc.sh: Do not "sudo -u deployer" since we are already rootEuAndreh1-1/+1
2023-03-16scripts/: Consistent spacing between usage and help stringsEuAndreh2-0/+2
2023-03-15src/infrastructure/scripts/r.sh: Remove unused scriptEuAndreh1-77/+0
2023-03-15check.sh: Add from root@$HOSTNAME to SubjectEuAndreh1-1/+1
2023-03-15system.scm: Add daily cronjob for system checksEuAndreh1-0/+79
check.sh: sends emails to important RFC aliases, so that one verifies it daily.
2023-03-15cronjob.sh: Increase timeout to 2 hoursEuAndreh1-1/+1
2023-03-14cronjob.sh: Rename $ONE_HOUR to $TIMEOUTEuAndreh1-2/+2
2023-03-14cronjob.sh: Fix space trimming on report outputEuAndreh1-0/+1
2023-03-13src/infrastructure/scripts/report.sh: Remove redundant margin CSS valueEuAndreh1-1/+1
2023-03-13{git-post-receive,cronjob}.sh: Improve portabilityEuAndreh1-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-11Copy files backEuAndreh7-0/+943