index
:
toph
main
Setup and configuration for VPS and other personal server
External SSH Git service user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
infrastructure
/
ci
/
git-post-receive.sh
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
rm -rf src/infrastructure/{ci,config,scripts}/
EuAndreh
2024-08-18
1
-178
/
+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 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
EuAndreh
2023-03-13
1
-2
/
+6
*
Copy files back
EuAndreh
2023-03-11
1
-0
/
+171