aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure (follow)
Commit message (Expand)AuthorAgeFilesLines
* packages.scm: Add missing input packagesEuAndreh2023-03-271-0/+3
* reconfigure.sh: Fix permissions of rsynced filesEuAndreh2023-03-271-1/+2
* Build HTML and install it via CIEuAndreh2023-03-273-0/+82
* system.scm: Simpler code for extending the "user" listEuAndreh2023-03-271-2/+1
* system.scm: Stop trimming slurped files by defaultEuAndreh2023-03-271-6/+4
* system.scm: Strip "-latest" suffix from "guile-heredoc"EuAndreh2023-03-211-1/+1
* known_hosts.txt: Add keys for "azula"EuAndreh2023-03-201-0/+10
* system.scm: Set (mail-in-home? #f)EuAndreh2023-03-201-7/+2
* 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
* system.scm: Derive SSH key name from tldEuAndreh2023-03-201-1/+1
* src/infrastructure/config/known_hosts.txt: Add "velhinho" keysEuAndreh2023-03-201-0/+10
* src/infrastructure/config/known_hosts.txt: Remove note on pilotis.netEuAndreh2023-03-201-1/+1
* system.scm: Better handling of newline at the end of all read filesEuAndreh2023-03-201-3/+3
* Manage public SSH files as "extra-etc-file" instead of like a secretEuAndreh2023-03-203-4/+7
* Makefile: Also upload managed SSH known_hosts fileEuAndreh2023-03-201-0/+7
* system.scm: Use correct rottlog configEuAndreh2023-03-191-1/+1
* system.scm: Enable directory listing of nginxEuAndreh2023-03-181-0/+1
* system.scm: Use queue:cgit-pre-configurationEuAndreh2023-03-171-28/+1
* system.scm: dovecot2 => dovecotEuAndreh2023-03-171-2/+2
* system.scm: Use patched version of rottlogEuAndreh2023-03-161-1/+5
* system.scm: Use explicit "enable-submission?" from internet-postfix-service-typeEuAndreh2023-03-161-1/+2
* gc.sh: Do not "sudo -u deployer" since we are already rootEuAndreh2023-03-161-1/+1
* scripts/: Consistent spacing between usage and help stringsEuAndreh2023-03-162-0/+2
* src/infrastructure/scripts/r.sh: Remove unused scriptEuAndreh2023-03-152-78/+0
* system.scm: add "SetEnv" to sshd•••Explicitly set `GIT_CONFIG_GLOBAL=/etc/gitconfig` so that one can push with options (e.g. `git push -o ci.skip`) without having to authorize Git repositories individually, as `/etc/gitconfig` already contains that. EuAndreh2023-03-151-0/+1
* check.sh: Add from root@$HOSTNAME to SubjectEuAndreh2023-03-151-1/+1
* system.scm: Remove unused Postfix extra config•••- `alias_database` is already being performed the `mail-aliases-service-type`; - `canonical_maps` is unused AFAICT. EuAndreh2023-03-151-5/+1
* system.scm: Add daily cronjob for system checks•••check.sh: sends emails to important RFC aliases, so that one verifies it daily. EuAndreh2023-03-152-0/+81
* system.scm: Fix duplicate NS entry in reverse IP zonesEuAndreh2023-03-151-2/+2
* system.scm: Reorder DNS constants definitionsEuAndreh2023-03-151-2/+2
* cronjob.sh: Increase timeout to 2 hoursEuAndreh2023-03-151-1/+1
* system.scm: Add first version of knot-service-type configurationEuAndreh2023-03-151-0/+100
* system.scm: Re-order dhcp-client-service-typeEuAndreh2023-03-141-1/+1
* system.scm: Better indentation of (skeletons ...) fieldEuAndreh2023-03-141-1/+3
* system.scm: Disable owner link on cgitEuAndreh2023-03-141-1/+1
* cronjob.sh: Rename $ONE_HOUR to $TIMEOUTEuAndreh2023-03-141-2/+2
* cronjob.sh: Fix space trimming on report outputEuAndreh2023-03-141-0/+1
* gitconfig: Enable "receive.advertisePushOptions" globallyEuAndreh2023-03-131-0/+2
* gitconfig: Replace use tabs for indentationEuAndreh2023-03-131-4/+4
* system.scm: Use mailutils-sendmail from personal channelEuAndreh2023-03-131-1/+1
* system.scm: Fix to new import path of personal channelEuAndreh2023-03-131-1/+1
* system.scm: Adapt (ssh-file-for ...) function for new SSH key pathEuAndreh2023-03-131-1/+1
* src/infrastructure/keys/andreh.pub: Remove old fileEuAndreh2023-03-131-1/+0
* Make server get SSH keypair from repo over local files in server diskEuAndreh2023-03-132-0/+0
* src/infrastructure/config/rc.sh: Fix address to rsync.net accountEuAndreh2023-03-131-1/+1
* git-post-receive.sh: Derive $LOGS_DIR from repository directory nameEuAndreh2023-03-131-1/+1
* src/infrastructure/scripts/report.sh: Remove redundant margin CSS valueEuAndreh2023-03-131-1/+1
* {git-post-receive,cronjob}.sh: Improve portability•••- 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. EuAndreh2023-03-132-6/+19
* system.scm: Use generic title for CGit root-titleEuAndreh2023-03-121-1/+1
generated by cgit v1.2.3 (git 2.52.0) at 2026-02-06 15:48:48 +0000