aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/ci (unfollow)
Commit message (Expand)AuthorFilesLines
2023-03-30git-post-receive.sh: Include PID on syslogd entryEuAndreh1-1/+1
2023-03-30git-post-receive.sh: Notify when report generation endsEuAndreh1-0/+1
2023-03-30git-post-receive.sh: Redirect STDOUT and STDERR so that the terminal SSH sess...EuAndreh1-1/+1
2023-03-30git-post-receive.sh: Send CI report output to syslog over /dev/nullEuAndreh1-1/+1
2023-03-30conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI}EuAndreh1-1/+1
2023-03-27src/infrastructure/config/conf.env: Use file to parameterize reconfigure(8) a...EuAndreh1-1/+1
2023-03-27Use "deployer" as the owner of HTML filesEuAndreh1-1/+1
2023-03-13git-post-receive.sh: Derive $LOGS_DIR from repository directory nameEuAndreh1-1/+1
2023-03-13{git-post-receive,cronjob}.sh: Improve portabilityEuAndreh1-2/+6
2023-03-11Copy files backEuAndreh2-0/+185