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

	Commit message (Collapse)	Author	Files	Lines
2023-03-30	git-post-receive.sh: Add missing "$NAME" argument to log entry	EuAndreh	1	-1/+1

2023-03-30	git-post-receive.sh: report s/finished/generated/	EuAndreh	1	-1/+1

2023-03-30	git-post-receive.sh: Include project name in CI log entry	EuAndreh	1	-3/+4

2023-03-30	git-post-receive.sh: Notify start of CI HTML report	EuAndreh	1	-0/+1

2023-03-30	git-post-receive.sh: Include PID on syslogd entry	EuAndreh	1	-1/+1

2023-03-30	git-post-receive.sh: Notify when report generation ends	EuAndreh	1	-0/+1

2023-03-30	git-post-receive.sh: Redirect STDOUT and STDERR so that the terminal SSH ↵	EuAndreh	1	-1/+1
	session can be terminated
2023-03-30	git-post-receive.sh: Send CI report output to syslog over /dev/null	EuAndreh	1	-1/+1

2023-03-30	conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI}	EuAndreh	1	-1/+1

2023-03-27	src/infrastructure/config/conf.env: Use file to parameterize reconfigure(8) ↵	EuAndreh	1	-1/+1
	and report(8) scripts
2023-03-27	Use "deployer" as the owner of HTML files	EuAndreh	1	-1/+1

2023-03-13	git-post-receive.sh: Derive $LOGS_DIR from repository directory name	EuAndreh	1	-1/+1

2023-03-13	{git-post-receive,cronjob}.sh: Improve portability	EuAndreh	1	-2/+6
	- 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	2	-0/+185