| Commit message (Expand) | Author | Age | Files | Lines |
| * | 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 |
| * | reconfigure: Stop deleting CI directory again | EuAndreh | 2023-03-30 | 2 | -2/+4 |
| * | conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI} | EuAndreh | 2023-03-30 | 3 | -4/+5 |
| * | Makefile: Fix directory of CI output | EuAndreh | 2023-03-30 | 1 | -2/+2 |
| * | ci report.sh: Add link to files under data/ | EuAndreh | 2023-03-30 | 1 | -0/+1 |
| * | Revert "src/infrastructure/scripts/report.sh: v2"•••This reverts commit 11f3daea8627effd0127b28d2d46fb53af49a7fc.
Not a good idea, after all.
| EuAndreh | 2023-03-30 | 1 | -152/+57 |
| * | src/infrastructure/scripts/report.sh: v2•••Now instead of working through each commit searially, we build a graph
of steps and work on that by emitting make(1) code to be executed.
May this code prove to be diffucult to modify or extend, this is a valid
commit "checkpoint" to revert to in order to recover the *exact* same
behaviour, but simpler code.
Simple benchmarks suggest that:
- on a single core, the scrit is ~15% slower;
- with 2 cores it is as fast as the original;
- as more cores are added, the faster it gets, up to $(nproc) when
using more cores doesn't change anything.
That means that it is a useful optimization for our desktops, but a
hinderance for our current server, which only has a single core.
| EuAndreh | 2023-03-30 | 1 | -57/+152 |
| * | backup.sh: Fix capture of $STATUS to the desired behaviour | EuAndreh | 2023-03-30 | 1 | -2/+2 |
| * | conf.env: Separate $RSYNC_ACCT from $RSYNC_ADDR | EuAndreh | 2023-03-28 | 1 | -1/+2 |
| * | Makefile: generate .pub.stripped in "all" | EuAndreh | 2023-03-28 | 1 | -1/+1 |
| * | gitconfig: Use generic values for user.{email,name} | EuAndreh | 2023-03-28 | 1 | -2/+2 |
| * | report.sh: Add CSS dark mode support | EuAndreh | 2023-03-28 | 1 | -0/+23 |
| * | report.sh: Use "find | while read" over "for `find`" | EuAndreh | 2023-03-28 | 1 | -1/+1 |
| * | check.sh: Add btrfs-scrub(8) and btrfs-check(8) to routine | EuAndreh | 2023-03-28 | 1 | -1/+14 |
| * | md2html.sh: Fix cat of $HEAD content | EuAndreh | 2023-03-28 | 1 | -1/+1 |
| * | system.scm: Do not export all repositories over git:// by default | EuAndreh | 2023-03-28 | 1 | -3/+1 |
| * | conf.env: Use common $OUT_SUFFIX | EuAndreh | 2023-03-27 | 1 | -2/+3 |
| * | src/infrastructure/scripts/report.sh: Auto-fetch missing commits | EuAndreh | 2023-03-27 | 2 | -1/+8 |
| * | src/infrastructure/config/conf.env: Use file to parameterize reconfigure(8) a... | EuAndreh | 2023-03-27 | 6 | -8/+32 |
| * | rc.sh: Conditionally "mkdir -p $XDG_*" | EuAndreh | 2023-03-27 | 1 | -6/+10 |
| * | README.md: Add link to homepage | EuAndreh | 2023-03-27 | 1 | -1/+3 |
| * | README.md: Link to this repository, instead of CGit root | EuAndreh | 2023-03-27 | 1 | -2/+2 |
| * | Makefile: Add "public/dev/ci" as a dependency of "public" | EuAndreh | 2023-03-27 | 1 | -1/+4 |
| * | Use "deployer" as the owner of HTML files | EuAndreh | 2023-03-27 | 2 | -3/+3 |
| * | README.md: Add simplified content | EuAndreh | 2023-03-27 | 2 | -3/+21 |
| * | TODOs.md: Add missing paragraph separator | EuAndreh | 2023-03-27 | 1 | -0/+1 |
| * | packages.scm: Add missing input packages | EuAndreh | 2023-03-27 | 1 | -0/+3 |
| * | Add minimum support for generating actual HTML files in public/ | EuAndreh | 2023-03-27 | 5 | -3/+212 |
| * | reconfigure.sh: Fix permissions of rsynced files | EuAndreh | 2023-03-27 | 1 | -1/+2 |
| * | Build HTML and install it via CI | EuAndreh | 2023-03-27 | 5 | -10/+118 |
| * | Makefile: Rename "result" to "system" | EuAndreh | 2023-03-27 | 1 | -2/+2 |
| * | Makefile: Do not build "result" by default | EuAndreh | 2023-03-27 | 1 | -1/+1 |
| * | system.scm: Simpler code for extending the "user" list | EuAndreh | 2023-03-27 | 1 | -2/+1 |
| * | system.scm: Stop trimming slurped files by default | EuAndreh | 2023-03-27 | 1 | -6/+4 |
| * | Makefile: Remove result{,-next} shenanigans | EuAndreh | 2023-03-27 | 1 | -4/+2 |
| * | Makefile: Add "check-shellcheck" target | EuAndreh | 2023-03-25 | 2 | -1/+10 |
| * | system.scm: Strip "-latest" suffix from "guile-heredoc" | EuAndreh | 2023-03-21 | 1 | -1/+1 |
| * | known_hosts.txt: Add keys for "azula" | EuAndreh | 2023-03-20 | 1 | -0/+10 |
| * | Makefile: Recover clean-up of unencrypted secrets files•••It was erroneously removed in 7ffcd694068d484842be0b87a9aeeda0a7720568.
| EuAndreh | 2023-03-20 | 1 | -1/+1 |
| * | system.scm: Set (mail-in-home? #f) | EuAndreh | 2023-03-20 | 1 | -7/+2 |
| * | reconfigure.sh: Make "current" a relative symlink | EuAndreh | 2023-03-20 | 1 | -1/+1 |
| * | system.scm: Move nginx /r/velhinho config to the beginning of the list | EuAndreh | 2023-03-20 | 1 | -8/+8 |
| * | system.scm: Derive SSH key name from tld | EuAndreh | 2023-03-20 | 1 | -1/+1 |
| * | src/infrastructure/config/known_hosts.txt: Add "velhinho" keys | EuAndreh | 2023-03-20 | 1 | -0/+10 |
| * | src/infrastructure/config/known_hosts.txt: Remove note on pilotis.net | EuAndreh | 2023-03-20 | 1 | -1/+1 |