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

	Commit message (Collapse)	Author	Age	Files	Lines
*	rm -rf src/infrastructure/{ci,config,scripts}/	EuAndreh	2024-08-18	2	-192/+0
\|
*	git-post-receive.sh: Add missing "$NAME" argument to log entry	EuAndreh	2023-03-30	1	-1/+1
\|
*	git-post-receive.sh: report s/finished/generated/	EuAndreh	2023-03-30	1	-1/+1
\|
*	git-post-receive.sh: Include project name in CI log entry	EuAndreh	2023-03-30	1	-3/+4
\|
*	git-post-receive.sh: Notify start of CI HTML report	EuAndreh	2023-03-30	1	-0/+1
\|
*	git-post-receive.sh: Include PID on syslogd entry	EuAndreh	2023-03-30	1	-1/+1
\|
*	git-post-receive.sh: Notify when report generation ends	EuAndreh	2023-03-30	1	-0/+1
\|
*	git-post-receive.sh: Redirect STDOUT and STDERR so that the terminal SSH ↵	EuAndreh	2023-03-30	1	-1/+1
\| \| \| \|	session can be terminated
*	git-post-receive.sh: Send CI report output to syslog over /dev/null	EuAndreh	2023-03-30	1	-1/+1
\|
*	conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI}	EuAndreh	2023-03-30	1	-1/+1
\|
*	src/infrastructure/config/conf.env: Use file to parameterize reconfigure(8) ↵	EuAndreh	2023-03-27	1	-1/+1
\| \| \| \|	and report(8) scripts
*	Use "deployer" as the owner of HTML files	EuAndreh	2023-03-27	1	-1/+1
\|
*	git-post-receive.sh: Derive $LOGS_DIR from repository directory name	EuAndreh	2023-03-13	1	-1/+1
\|
*	{git-post-receive,cronjob}.sh: Improve portability	EuAndreh	2023-03-13	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.
*	Copy files back	EuAndreh	2023-03-11	2	-0/+185