aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/scripts (follow)
Commit message (Collapse)AuthorAgeFilesLines
* rm -rf src/infrastructure/{ci,config,scripts}/EuAndreh2024-08-188-1203/+0
|
* reconfigure.sh: rm -f /etc/guix/channels.scm before copyingEuAndreh2024-04-011-2/+5
| | | | | | | | | | | | | IIUC some part of "guix pull" makes this a symlink to a file in the store, a read-only directory, which we can't copy into. Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show d758c4c4884c6ffc9bb6e7133e087a2b20286ee5 git notes --ref=refs/notes/ci-data show d758c4c4884c6ffc9bb6e7133e087a2b20286ee5 Exit status: 0 Duration: 63
* backup.sh: Do not run check by defaultEuAndreh2024-01-221-4/+4
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show d1c572c27784eb90f6ebe7a6f87f12c21fe16071 git notes --ref=refs/notes/ci-data show d1c572c27784eb90f6ebe7a6f87f12c21fe16071 Exit status: 0 Duration: 43
* cronjob.sh: Increase timeout to 4 hoursEuAndreh2023-10-191-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show bf96534cd4521287b96a43871ecd758be830a68c git notes --ref=refs/notes/ci-data show bf96534cd4521287b96a43871ecd758be830a68c Exit status: 0 Duration: 23
* backup.sh: Add -x flagEuAndreh2023-05-131-5/+19
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show ad1e029311f56eeb0fee619739f598a89732077a git notes --ref=refs/notes/ci-data show ad1e029311f56eeb0fee619739f598a89732077a Exit status: 0 Duration: 21
* cronjob.sh: Increase timeout to 3 hoursEuAndreh2023-05-051-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 080859d61124c862e5704c97925a7011ee227400 git notes --ref=refs/notes/ci-data show 080859d61124c862e5704c97925a7011ee227400 Exit status: 1 Duration: 782
* gc.sh: Add 1 month window to keep Guix versionsEuAndreh2023-04-291-2/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show b7ae16aa283deffc145fdee6ccd7f5ea451e237d git notes --ref=refs/notes/ci-data show b7ae16aa283deffc145fdee6ccd7f5ea451e237d Exit status: 1 Duration: 276
* cicd.sh: Use stub Guix fallback shellEuAndreh2023-04-191-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 232644c3f6cc284675b824ff057b8cdf0cd3214a git notes --ref=refs/notes/ci-data show 232644c3f6cc284675b824ff057b8cdf0cd3214a Exit status: 0 Duration: 21
* cicd.sh: Update help stringEuAndreh2023-04-191-14/+28
|
* gc.sh: Add "-v" to gc_deployEuAndreh2023-04-161-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show b9ec1059b2fccdcbbfbee2ad41a370f31ae2c5a4 git notes --ref=refs/notes/ci-data show b9ec1059b2fccdcbbfbee2ad41a370f31ae2c5a4 Exit status: 0 Duration: 25
* WIP Git Guix shellEuAndreh2023-04-011-0/+154
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show af3075ec3d2e9e3a568e6b159a165298fa7851eb git notes --ref=refs/notes/ci-data show af3075ec3d2e9e3a568e6b159a165298fa7851eb Exit status: 0 Duration: 18
* reconfigure: Stop deleting CI directory againEuAndreh2023-03-301-0/+1
| | | | | | | | | 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-301-2/+2
| | | | | | | | | 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
* 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
* 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
|
* src/infrastructure/scripts/report.sh: Auto-fetch missing commitsEuAndreh2023-03-271-1/+6
| | | | | | | | | 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-272-6/+18
| | | | | | | | | | | | 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
* Use "deployer" as the owner of HTML filesEuAndreh2023-03-271-2/+2
| | | | | | | | | 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
* 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-271-0/+5
| | | | | | | | | 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
* reconfigure.sh: Make "current" a relative symlinkEuAndreh2023-03-201-1/+1
|
* gc.sh: Do not "sudo -u deployer" since we are already rootEuAndreh2023-03-161-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 2376e2963c43381b0696eae6509769c25ae2a1cc git notes --ref=refs/notes/ci-data show 2376e2963c43381b0696eae6509769c25ae2a1cc Exit status: 0 Duration: 22
* scripts/: Consistent spacing between usage and help stringsEuAndreh2023-03-162-0/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show ad925a002e4375ce0c0fa97c42505f8c5305fe48 git notes --ref=refs/notes/ci-data show ad925a002e4375ce0c0fa97c42505f8c5305fe48 Exit status: 2 Duration: 0
* src/infrastructure/scripts/r.sh: Remove unused scriptEuAndreh2023-03-151-77/+0
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 7d777dc298cc15f6068b1f4d3e48a4dc81e4e613 git notes --ref=refs/notes/ci-data show 7d777dc298cc15f6068b1f4d3e48a4dc81e4e613 Exit status: 0 Duration: 27
* check.sh: Add from root@$HOSTNAME to SubjectEuAndreh2023-03-151-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 79253572b35c09439427721f263f0572b0de0bb6 git notes --ref=refs/notes/ci-data show 79253572b35c09439427721f263f0572b0de0bb6 Exit status: 0 Duration: 22
* system.scm: Add daily cronjob for system checksEuAndreh2023-03-151-0/+79
| | | | | | | | | | | | | check.sh: sends emails to important RFC aliases, so that one verifies it daily. Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show cef4a6eb0dcac1ad5ce919c61edea25d50b1db1d git notes --ref=refs/notes/ci-data show cef4a6eb0dcac1ad5ce919c61edea25d50b1db1d Exit status: 0 Duration: 20
* cronjob.sh: Increase timeout to 2 hoursEuAndreh2023-03-151-1/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show feb62e902e3b5b02db448af9451e943847a3b837 git notes --ref=refs/notes/ci-data show feb62e902e3b5b02db448af9451e943847a3b837 Exit status: 0 Duration: 21
* cronjob.sh: Rename $ONE_HOUR to $TIMEOUTEuAndreh2023-03-141-2/+2
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show a2d0cbf6abd13bbc2b9588796c129893de87547a git notes --ref=refs/notes/ci-data show a2d0cbf6abd13bbc2b9588796c129893de87547a Exit status: 0 Duration: 20
* cronjob.sh: Fix space trimming on report outputEuAndreh2023-03-141-0/+1
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 8f2909f81d3c21c64908a07726f6c41eeae8eae5 git notes --ref=refs/notes/ci-data show 8f2909f81d3c21c64908a07726f6c41eeae8eae5 Exit status: 0 Duration: 20
* src/infrastructure/scripts/report.sh: Remove redundant margin CSS valueEuAndreh2023-03-131-1/+1
|
* {git-post-receive,cronjob}.sh: Improve portabilityEuAndreh2023-03-131-4/+13
| | | | | | | - 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.
* Copy files backEuAndreh2023-03-117-0/+943