toph - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	reconfigure.sh: Fix permissions of rsynced files	EuAndreh	2023-03-27	1	-1/+2
\|
*	Build HTML and install it via CI	EuAndreh	2023-03-27	1	-0/+5
\|
*	reconfigure.sh: Make "current" a relative symlink	EuAndreh	2023-03-20	1	-1/+1
\|
*	gc.sh: Do not "sudo -u deployer" since we are already root	EuAndreh	2023-03-16	1	-1/+1
\|
*	scripts/: Consistent spacing between usage and help strings	EuAndreh	2023-03-16	2	-0/+2
\|
*	src/infrastructure/scripts/r.sh: Remove unused script	EuAndreh	2023-03-15	1	-77/+0
\|
*	check.sh: Add from root@$HOSTNAME to Subject	EuAndreh	2023-03-15	1	-1/+1
\|
*	system.scm: Add daily cronjob for system checks	EuAndreh	2023-03-15	1	-0/+79
\| \| \| \| \|	check.sh: sends emails to important RFC aliases, so that one verifies it daily.
*	cronjob.sh: Increase timeout to 2 hours	EuAndreh	2023-03-15	1	-1/+1
\|
*	cronjob.sh: Rename $ONE_HOUR to $TIMEOUT	EuAndreh	2023-03-14	1	-2/+2
\|
*	cronjob.sh: Fix space trimming on report output	EuAndreh	2023-03-14	1	-0/+1
\|
*	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