server - Setup and configuration for VPS and other personal server

	Commit message (Expand)	Author	Age	Files	Lines
*	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 sess...	EuAndreh	2023-03-30	1	-1/+1
*	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) a...	EuAndreh	2023-03-27	1	-1/+1
*	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•••- 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.	EuAndreh	2023-03-13	1	-2/+6
*	Copy files back	EuAndreh	2023-03-11	1	-0/+171