aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/scripts (follow)
Commit message (Collapse)AuthorAgeFilesLines
* gc.sh: Do not "sudo -u deployer" since we are already rootEuAndreh2023-03-161-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 2376e2963c43381b0696eae6509769c25ae2a1cc git notes --ref=refs/notes/ci-data show 2376e2963c43381b0696eae6509769c25ae2a1cc Exit status: 0 Duration: 22
* scripts/: Consistent spacing between usage and help stringsEuAndreh2023-03-162-0/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show ad925a002e4375ce0c0fa97c42505f8c5305fe48 git notes --ref=refs/notes/ci-data show ad925a002e4375ce0c0fa97c42505f8c5305fe48 Exit status: 2 Duration: 0
* src/infrastructure/scripts/r.sh: Remove unused scriptEuAndreh2023-03-151-77/+0
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 7d777dc298cc15f6068b1f4d3e48a4dc81e4e613 git notes --ref=refs/notes/ci-data show 7d777dc298cc15f6068b1f4d3e48a4dc81e4e613 Exit status: 0 Duration: 27
* check.sh: Add from root@$HOSTNAME to SubjectEuAndreh2023-03-151-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 79253572b35c09439427721f263f0572b0de0bb6 git notes --ref=refs/notes/ci-data show 79253572b35c09439427721f263f0572b0de0bb6 Exit status: 0 Duration: 22
* system.scm: Add daily cronjob for system checksEuAndreh2023-03-151-0/+79
| | | | | | | | | | | | | check.sh: sends emails to important RFC aliases, so that one verifies it daily. Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show cef4a6eb0dcac1ad5ce919c61edea25d50b1db1d git notes --ref=refs/notes/ci-data show cef4a6eb0dcac1ad5ce919c61edea25d50b1db1d Exit status: 0 Duration: 20
* cronjob.sh: Increase timeout to 2 hoursEuAndreh2023-03-151-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show feb62e902e3b5b02db448af9451e943847a3b837 git notes --ref=refs/notes/ci-data show feb62e902e3b5b02db448af9451e943847a3b837 Exit status: 0 Duration: 21
* cronjob.sh: Rename $ONE_HOUR to $TIMEOUTEuAndreh2023-03-141-2/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show a2d0cbf6abd13bbc2b9588796c129893de87547a git notes --ref=refs/notes/ci-data show a2d0cbf6abd13bbc2b9588796c129893de87547a Exit status: 0 Duration: 20
* cronjob.sh: Fix space trimming on report outputEuAndreh2023-03-141-0/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 8f2909f81d3c21c64908a07726f6c41eeae8eae5 git notes --ref=refs/notes/ci-data show 8f2909f81d3c21c64908a07726f6c41eeae8eae5 Exit status: 0 Duration: 20
* 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