aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* git-post-receive.sh: Notify when report generation endsEuAndreh2023-03-301-0/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 8c1592a410f7c35a782db725be522e9f16c94df1 git notes --ref=refs/notes/ci-data show 8c1592a410f7c35a782db725be522e9f16c94df1 Exit status: 0 Duration: 21
* git-post-receive.sh: Redirect STDOUT and STDERR so that the terminal SSH ↵EuAndreh2023-03-301-1/+1
| | | | | | | | | | | | session can be terminated Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show bbd3940868c34a3ba4028e2bff4982aee0c4c2d6 git notes --ref=refs/notes/ci-data show bbd3940868c34a3ba4028e2bff4982aee0c4c2d6 Exit status: 0 Duration: 21
* git-post-receive.sh: Send CI report output to syslog over /dev/nullEuAndreh2023-03-301-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 8cdf792b5d14295b44c0e4bb7753722f09382560 git notes --ref=refs/notes/ci-data show 8cdf792b5d14295b44c0e4bb7753722f09382560 Exit status: 0 Duration: 19
* reconfigure: Stop deleting CI directory againEuAndreh2023-03-302-2/+4
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 1931c36d6db7d08bf28c3fef8d9a67b8221d453f git notes --ref=refs/notes/ci-data show 1931c36d6db7d08bf28c3fef8d9a67b8221d453f Exit status: 1 Duration: 17
* conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI}EuAndreh2023-03-303-4/+5
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show fc15af22490d563be3f66186e95dbbc02401f112 git notes --ref=refs/notes/ci-data show fc15af22490d563be3f66186e95dbbc02401f112 Exit status: 0 Duration: 21
* Makefile: Fix directory of CI outputEuAndreh2023-03-301-2/+2
|
* ci report.sh: Add link to files under data/EuAndreh2023-03-301-0/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show f0434ac60a16ca288bb14ce1c2f92bba95c88e8b git notes --ref=refs/notes/ci-data show f0434ac60a16ca288bb14ce1c2f92bba95c88e8b Exit status: 0 Duration: 20
* Revert "src/infrastructure/scripts/report.sh: v2"EuAndreh2023-03-301-152/+57
| | | | | | | | | | | | | | This reverts commit 11f3daea8627effd0127b28d2d46fb53af49a7fc. Not a good idea, after all. Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 5734d72d6dfcb52c96cd72469bd00d43c076e70f git notes --ref=refs/notes/ci-data show 5734d72d6dfcb52c96cd72469bd00d43c076e70f Exit status: 0 Duration: 20
* src/infrastructure/scripts/report.sh: v2EuAndreh2023-03-301-57/+152
| | | | | | | | | | | | | | | | | | 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.
* backup.sh: Fix capture of $STATUS to the desired behaviourEuAndreh2023-03-301-2/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show be84eba41f29df406d5bedc6a7228840c89f4e9f git notes --ref=refs/notes/ci-data show be84eba41f29df406d5bedc6a7228840c89f4e9f Exit status: 0 Duration: 22
* conf.env: Separate $RSYNC_ACCT from $RSYNC_ADDREuAndreh2023-03-281-1/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 14f999d2e8d6a07b38f5b40585c067a2fda2ea9b git notes --ref=refs/notes/ci-data show 14f999d2e8d6a07b38f5b40585c067a2fda2ea9b Exit status: 0 Duration: 23
* Makefile: generate .pub.stripped in "all"EuAndreh2023-03-281-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 956f8f312c3c23bbd0e6ad56407fc2a320f7d360 git notes --ref=refs/notes/ci-data show 956f8f312c3c23bbd0e6ad56407fc2a320f7d360 Exit status: 0 Duration: 23
* gitconfig: Use generic values for user.{email,name}EuAndreh2023-03-281-2/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 2405e9f6467dfe05e5c2241995f8a37b2c8c1e76 git notes --ref=refs/notes/ci-data show 2405e9f6467dfe05e5c2241995f8a37b2c8c1e76 Exit status: 0 Duration: 22
* report.sh: Add CSS dark mode supportEuAndreh2023-03-281-0/+23
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 3e3add45e429f6a7118d8fafde2dcb962383b925 git notes --ref=refs/notes/ci-data show 3e3add45e429f6a7118d8fafde2dcb962383b925 Exit status: 0 Duration: 21
* report.sh: Use "find | while read" over "for `find`"EuAndreh2023-03-281-1/+1
|
* check.sh: Add btrfs-scrub(8) and btrfs-check(8) to routineEuAndreh2023-03-281-1/+14
|
* md2html.sh: Fix cat of $HEAD contentEuAndreh2023-03-281-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show a4846a8dbd94900a588fbee08f965474b6724a64 git notes --ref=refs/notes/ci-data show a4846a8dbd94900a588fbee08f965474b6724a64 Exit status: 0 Duration: 22
* system.scm: Do not export all repositories over git:// by defaultEuAndreh2023-03-281-3/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show d48b95a3431d6dcb711970dc6848ecebc67dd6c6 git notes --ref=refs/notes/ci-data show d48b95a3431d6dcb711970dc6848ecebc67dd6c6 Exit status: 0 Duration: 22
* conf.env: Use common $OUT_SUFFIXEuAndreh2023-03-271-2/+3
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 4c65458474aabbdb28ffd41401479a809f5d0518 git notes --ref=refs/notes/ci-data show 4c65458474aabbdb28ffd41401479a809f5d0518 Exit status: 0 Duration: 19
* src/infrastructure/scripts/report.sh: Auto-fetch missing commitsEuAndreh2023-03-272-1/+8
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show ad6dd6bab44a685fb2c61f9b6d9df3d66a10cacf git notes --ref=refs/notes/ci-data show ad6dd6bab44a685fb2c61f9b6d9df3d66a10cacf Exit status: 0 Duration: 20
* src/infrastructure/config/conf.env: Use file to parameterize reconfigure(8) ↵EuAndreh2023-03-276-8/+32
| | | | | | | | | | | | and report(8) scripts Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 2bbe3fd19e1f057a7129365cdb4ef5e9336e977e git notes --ref=refs/notes/ci-data show 2bbe3fd19e1f057a7129365cdb4ef5e9336e977e Exit status: 128 Duration: 0
* rc.sh: Conditionally "mkdir -p $XDG_*"EuAndreh2023-03-271-6/+10
|
* README.md: Add link to homepageEuAndreh2023-03-271-1/+3
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 6550e862fd4cb81dd8c1c34656f545b793ac21be git notes --ref=refs/notes/ci-data show 6550e862fd4cb81dd8c1c34656f545b793ac21be Exit status: 0 Duration: 18
* README.md: Link to this repository, instead of CGit rootEuAndreh2023-03-271-2/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 313849dce45b69c799c6ece8f6c4bb72a36f7244 git notes --ref=refs/notes/ci-data show 313849dce45b69c799c6ece8f6c4bb72a36f7244 Exit status: 0 Duration: 20
* Makefile: Add "public/dev/ci" as a dependency of "public"EuAndreh2023-03-271-1/+4
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show f5405c44966c6c39fab95f7c9e0e4e7ee4b87120 git notes --ref=refs/notes/ci-data show f5405c44966c6c39fab95f7c9e0e4e7ee4b87120 Exit status: 0 Duration: 21
* Use "deployer" as the owner of HTML filesEuAndreh2023-03-272-3/+3
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 13347c1620a15f2d5c4921a56df3fe42f9db52df git notes --ref=refs/notes/ci-data show 13347c1620a15f2d5c4921a56df3fe42f9db52df Exit status: 0 Duration: 20
* README.md: Add simplified contentEuAndreh2023-03-272-3/+21
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show bfe4e2335f9cf24ff45eec3f9d8326bc5b5083e9 git notes --ref=refs/notes/ci-data show bfe4e2335f9cf24ff45eec3f9d8326bc5b5083e9 Exit status: 0 Duration: 18
* TODOs.md: Add missing paragraph separatorEuAndreh2023-03-271-0/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show f839ca7401c6fb28dc4ba2f54fcc33b51241d498 git notes --ref=refs/notes/ci-data show f839ca7401c6fb28dc4ba2f54fcc33b51241d498 Exit status: 0 Duration: 19
* packages.scm: Add missing input packagesEuAndreh2023-03-271-0/+3
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 2231f3f879f1807b8a14d98de29bb4edb77477c0 git notes --ref=refs/notes/ci-data show 2231f3f879f1807b8a14d98de29bb4edb77477c0 Exit status: 0 Duration: 31
* Add minimum support for generating actual HTML files in public/EuAndreh2023-03-275-3/+212
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 07ef3c2a2cce2f055a1174a8f49c4895dc9f6b30 git notes --ref=refs/notes/ci-data show 07ef3c2a2cce2f055a1174a8f49c4895dc9f6b30 Exit status: 1 Duration: 12
* reconfigure.sh: Fix permissions of rsynced filesEuAndreh2023-03-271-1/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 3b00cb22292d20a451f2da500a86fef58cd4db68 git notes --ref=refs/notes/ci-data show 3b00cb22292d20a451f2da500a86fef58cd4db68 Exit status: 0 Duration: 16
* Build HTML and install it via CIEuAndreh2023-03-275-10/+118
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show ab742a1ebc61d571bb9d13d7692ef7e245bba192 git notes --ref=refs/notes/ci-data show ab742a1ebc61d571bb9d13d7692ef7e245bba192 Exit status: 0 Duration: 27
* Makefile: Rename "result" to "system"EuAndreh2023-03-271-2/+2
|
* Makefile: Do not build "result" by defaultEuAndreh2023-03-271-1/+1
|
* system.scm: Simpler code for extending the "user" listEuAndreh2023-03-271-2/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show c227facb380177eaea6179b73fcb9de4a21f6c8f git notes --ref=refs/notes/ci-data show c227facb380177eaea6179b73fcb9de4a21f6c8f Exit status: 0 Duration: 50
* system.scm: Stop trimming slurped files by defaultEuAndreh2023-03-271-6/+4
|
* Makefile: Remove result{,-next} shenanigansEuAndreh2023-03-271-4/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show d4cf43a3dd84e812274aa3b6dbce4617b3653d26 git notes --ref=refs/notes/ci-data show d4cf43a3dd84e812274aa3b6dbce4617b3653d26 Exit status: 0 Duration: 42
* Makefile: Add "check-shellcheck" targetEuAndreh2023-03-252-1/+10
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 3ec5517080e158d20142279c3b4adb551b1b172b git notes --ref=refs/notes/ci-data show 3ec5517080e158d20142279c3b4adb551b1b172b Exit status: 0 Duration: 42
* system.scm: Strip "-latest" suffix from "guile-heredoc"EuAndreh2023-03-211-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show a39c158a663e0e7832d22b79f54c1758a6ec7f1d git notes --ref=refs/notes/ci-data show a39c158a663e0e7832d22b79f54c1758a6ec7f1d Exit status: 0 Duration: 18
* known_hosts.txt: Add keys for "azula"EuAndreh2023-03-201-0/+10
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 492f2b9c200eb001027876fed63962c8df2c4aef git notes --ref=refs/notes/ci-data show 492f2b9c200eb001027876fed63962c8df2c4aef Exit status: 0 Duration: 14
* Makefile: Recover clean-up of unencrypted secrets filesEuAndreh2023-03-201-1/+1
| | | | It was erroneously removed in 7ffcd694068d484842be0b87a9aeeda0a7720568.
* system.scm: Set (mail-in-home? #f)EuAndreh2023-03-201-7/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show aa387393acf8b113b6688ac14c1176b1077cbd0f git notes --ref=refs/notes/ci-data show aa387393acf8b113b6688ac14c1176b1077cbd0f Exit status: 0 Duration: 20
* reconfigure.sh: Make "current" a relative symlinkEuAndreh2023-03-201-1/+1
|
* system.scm: Move nginx /r/velhinho config to the beginning of the listEuAndreh2023-03-201-8/+8
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show d91fcd75a6bcadf1f3bbb55082cea185cf7e708a git notes --ref=refs/notes/ci-data show d91fcd75a6bcadf1f3bbb55082cea185cf7e708a Exit status: 0 Duration: 12
* system.scm: Derive SSH key name from tldEuAndreh2023-03-201-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 79d055455ab4117832375887839be9d80062b92a git notes --ref=refs/notes/ci-data show 79d055455ab4117832375887839be9d80062b92a Exit status: 0 Duration: 12
* src/infrastructure/config/known_hosts.txt: Add "velhinho" keysEuAndreh2023-03-201-0/+10
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 0cb5a1eb00a400ceda32d99b1e869477c1a255bd git notes --ref=refs/notes/ci-data show 0cb5a1eb00a400ceda32d99b1e869477c1a255bd Exit status: 0 Duration: 11
* src/infrastructure/config/known_hosts.txt: Remove note on pilotis.netEuAndreh2023-03-201-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 4522304bc30039bef462ae14a3c0077f5ec71767 git notes --ref=refs/notes/ci-data show 4522304bc30039bef462ae14a3c0077f5ec71767 Exit status: 0 Duration: 12
* system.scm: Better handling of newline at the end of all read filesEuAndreh2023-03-201-3/+3
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show f057a8f3a3448d8766134c6dbbcf5a8e3eea25c2 git notes --ref=refs/notes/ci-data show f057a8f3a3448d8766134c6dbbcf5a8e3eea25c2 Exit status: 0 Duration: 16
* Manage public SSH files as "extra-etc-file" instead of like a secretEuAndreh2023-03-205-18/+14
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 7ffcd694068d484842be0b87a9aeeda0a7720568 git notes --ref=refs/notes/ci-data show 7ffcd694068d484842be0b87a9aeeda0a7720568 Exit status: 0 Duration: 15
* Makefile: Also upload managed SSH known_hosts fileEuAndreh2023-03-202-2/+13
|