about summary refs log tree commit diff
path: root/users/sterni
AgeCommit message (Collapse)AuthorFilesLines
11 days r/8988 feat(sterni/nix/build): check in toPlainTextsterni1-0/+56
This is a little helper which tries to render different input files into a fancier, human readable plain text form. This is quite useful to gether with build.gopherHole. Change-Id: Ibe0050fa6a55e85745127a287bba0febeeb75849 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12874 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
11 days r/8987 chore(nix/build): rename to reduce redundancy in attr pathsterni2-4/+2
Change-Id: Ibefb924bb329c2a9dc0ac8e5ee1566253300b5cf Reviewed-on: https://cl.tvl.fyi/c/depot/+/12872 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2024-12-02 r/8980 chore(3p/lisp/closure-*): disable on ECL for nowsterni1-1/+1
As it turns out, some of the load/compile time set up the package does doesn't work in ECL for unknown reasons at the moment. Executables using closure-* will crash after starting up: ;;; Checking for wide character support... WARNING: Lisp implementation doesn't use UTF-16, but accepts surrogate code points. yes, using code points. ;;; Building Closure with CHARACTER RUNES Condition of type: SIMPLE-ERROR Invalid relative pathname #P"package.lisp" for component ("closure-common" "package") Change-Id: I4b4bf96835a39696884ec6fea9c249fdeb53c853 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12863 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-12-02 r/8979 feat(3p/lisp/mime4cl): enable compilation with CCLsterni1-2/+0
Only significant implementation specific code at the moment is FILE-SIZE which isn't very important. We can also easily implement it for CCL. Additionally, we clean up an unused lexical variable warning and remove a duplicate definiton of MIME-TYPE-STRING fro MIME-UNKNOWN-PART that CCL doesn't like. Change-Id: I7c960e50dcdc1d3e46cb4945f36ea315a3c9838d Reviewed-on: https://cl.tvl.fyi/c/depot/+/12862 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-12-02 r/8976 fix(sterni/mblog): check for help flags in flag, not arg liststerni1-1/+1
Change-Id: I9f353f7c8f66078b51e333b6b8653f07f7ff544d Reviewed-on: https://cl.tvl.fyi/c/depot/+/12816 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-11-18 r/8939 chore(sterni/machines/edwin): removesterni3-144/+0
This machine hasn't existed for a while. Seems like I forgot to remove the expression after its final month ran out. Change-Id: I0e4abbd9af75eabfab0db106f851a1e43aa8c90f Reviewed-on: https://cl.tvl.fyi/c/depot/+/12807 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2024-11-18 r/8938 fix(sterni/ingeborg/monitoring): declare missing dep on nginx modulesterni1-0/+1
Change-Id: I68777a6c57068afaa7adfd842778a6f991b9e86a Reviewed-on: https://cl.tvl.fyi/c/depot/+/12806 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2024-11-18 r/8937 feat(sterni/ingeborg/monitoring): expose netdata via nginxsterni3-1/+37
Change-Id: Iea81625180526a36f8646539e8da0ccdaed79d43 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12804 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-11-18 r/8936 chore(sterni/code.sterni.lv): deny indexingsterni1-0/+8
All repositories under code.sterni.lv are mirrors, so there's no value in AI startups endlessly crawling the nixpkgs git history on code.sterni.lv… Change-Id: Iaac296315f325ced3cfd0852ae1d8d3f3815ea5b Reviewed-on: https://cl.tvl.fyi/c/depot/+/12803 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-11-18 r/8935 refactor(sterni/ingeborg/monitoring): simplify mkIrcMessagersterni1-20/+9
I want to add a warpper script to the mdmonitor program anyways, so there's not really a point in this. Change-Id: I92166bd44b54507b782a8d19b9676d91d8fa0f99 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12802 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2024-11-17 r/8934 chore(sterni/ingeborg/minecraft): 1.21.1 -> 1.21.3sterni2-6/+20
Again, 1.21.3 only fixes uninteresting bugs compared to 1.21.2. Change-Id: I406fe9692f21537480db734cf77eca183b6caaad Reviewed-on: https://cl.tvl.fyi/c/depot/+/12799 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-11-17 r/8933 chore(sterni/ingeborg/minecraft): 1.20.4 -> 1.21.1sterni2-6/+23
1.21.1 fixes an exploit in 1.21 without any other changes, so we can safely skip it. Change-Id: I72503c9f3869d7bafdfc78842b61804627a1d452 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12798 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-11-15 r/8931 feat(sterni/code.sterni.lv): hide emails in cgitsterni1-2/+3
Change-Id: If48823b7992aa61fee9b1a6f458434a596bead90 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12795 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2024-11-15 r/8930 refactor(sterni/code.sterni.lv): downgrade network-online to wantssterni1-1/+1
`requires` is not recommended in this context. I think I tried it out of desperation trying to combat the issue that these units would be started before they were able to resolve names in switch-to-configuration. Unfortunately, network access during switch-to-configuration can't be detected using network-online.target, it seems. Change-Id: Ia98a0a3b505ffa56eb37fb58a5375a1215d6cb1b Reviewed-on: https://cl.tvl.fyi/c/depot/+/12794 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2024-11-15 r/8929 fix(sterni/code.sterni.lv): gc after mirroring repositoriessterni1-0/+3
Repositories (especially nixpkgs) WILL grow to ridiculous sizes otherwise, killing cgit performance in the process. Change-Id: I3bef3e5dc5a61152e89fd53e31f14e78193a4888 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12793 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2024-11-15 r/8928 docs(sterni/machines/ingeborg): add example ssh config for unlocksterni1-0/+7
Mostly it's important (which I did this time at least) to remember that with how things work at the moment, the initrd sshd is only reachable via IPv4. Change-Id: Ie9a87b6a38b2e128a8a2141d2221bbe7cfe24cdb Reviewed-on: https://cl.tvl.fyi/c/depot/+/12792 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-11-15 r/8927 chore(sterni/machines/ingeborg): add usbhid kernel modulesterni1-0/+1
nixos-generate-config claims I need this, so let's add it… Change-Id: I3d852ffce5d0e7c65d9a1bbe887d3de15136698a Reviewed-on: https://cl.tvl.fyi/c/depot/+/12791 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
2024-10-17 r/8819 fix(minecraft-fabric): avoid unset CREDENTIALS_DIRECTORY in ExecStopsterni1-3/+8
For mystifying reasons, Type=simple and CREDENTIALS_DIRECTORY in ExecStop have stopped working (when exactly I don't know, but presumably 256). Apparently, you are supposed to use Type=exec with credentials due to raciness (I've personally never experienced): <https://github.com/systemd/systemd/issues/32583>. Just changing the type did not resolve the issue of CREDENTIALS_DIRECTORY being unset, though. It appears, though, that the issue is merely an unset environment variable and not the credentials being unavailable: We can work around the problem by setting an appropriate environment variable ourselves. Change-Id: Ifcdb1f3bce782ea1c568a9bc413f3fb29f0985c5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12649 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2024-09-06 r/8658 refactor(sterni/backup-minecraft-fabric): use systemd-credssterni1-2/+3
The bundled tool is sort of convenient, I first tried it when debugging an issue (that doesn't affect this module) and it seems a bit nicer. Change-Id: Ief948f8e46e51f05b04fe7628ab9298284f780e9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12444 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
2024-08-14 r/8488 chore(3p/sources): Bump channels & overlayssterni1-2/+2
* //users/sterni/machines/ingeborg: adjust to yet another API change in the fcgiwrap module Change-Id: Ic601bb7161887dec5cfbe68205be816cf9b92d17 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12202 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org>
2024-08-01 r/8435 chore(3p/sources): Bump channels & overlays (2024-07-28)Aspen Smith2-17/+14
* Treewide: re-run depotfmt * //third_party/nixpkgs:html5validator: build with Python 3.11, dependency openstackdocstheme doesn't support 3.12 * //users/sterni/machines/ingeborg: adapt to poorly handled fcgiwrap module API change: https://github.com/NixOS/nixpkgs/pull/318599 * //tvix/*-go: regenerate protobuf files * //third_party/nixpkgs:treefmt: Remove patch for merged pull request * //users/flokli/ipu6-softisp: rebase, drop upstreamed kernel patches Change-Id: Ie4e0df007c287e8cd6207683a9a25838aa5bd39a Reviewed-on: https://cl.tvl.fyi/c/depot/+/11971 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: aspen <root@gws.fyi> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: Ilan Joselevich <personal@ilanjoselevich.com>
2024-04-27 r/8021 feat(sterni/machines/ingeborg): switch to quasselsterni3-1/+19
Change-Id: I2970f47e22e6984db49d455b31903814fa94ec76 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11529 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2024-03-10 r/7663 feat(sterni/nix/lists): implement transposesterni1-0/+30
This function is inspired by BQN's [⍉] though it is much less elegant since Nix lacks multi-dimensional arrays. I thought this would be useful to to avoid multiple `map`s over a single list if we want to return multiple, separate values from it: transpose (builtins.map (x: [ (calcA x) (calcB x) ]) myList) # => [ [ (calcA a) … ] [ (calcB a) … ] ] While this is quite elegant, it turns out that it is faster to write out multiple maps: [ (builtins.map calcA myList) (builtins.map calcB myList) ] [⍉]: https://mlochbaum.github.io/BQN/doc/transpose.html Change-Id: Ic333c33af38ab03573b215c9696d75caf2ee18e7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11113 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-02-26 r/7607 fix: explicit dependencies on network-online.targetVincent Ambo1-0/+2
A recent change in nixpkgs introduced evaluation warnings if a systemd service is configured to start after network-online.target, but does not directly depend on it. This is done because the existing dependency from multi-user.target to network-online.target is being removed, leaving these services without an actual dependency on the service. This affected autosubmit (I added a weak dependency here, for now the service is actually on the same host as Gerrit), and sterni's mirror setup (I added a strong dependency here). Change-Id: I88a4aa69f6788c489f59533d34be3c9cea681326 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11026 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-02-15 r/7524 chore(sterni/minecraft-fabric): 0.11.2 -> 1.0.0sterni1-3/+3
Change-Id: I57523831a5550d8cd09044fc85980b922e5efeef Reviewed-on: https://cl.tvl.fyi/c/depot/+/10925 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org>
2024-02-15 r/7519 chore(sterni/ingeborg/minecraft): 1.20.2 -> 1.20.4sterni1-6/+6
We skip 1.20.3 which had a somewhat nasty bug that was immediately fixed in 1.20.4 with no other changes. Change-Id: Ib7ef12912b3ed7a7ed2e00fea654d5d7532a92f7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10863 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
2024-02-15 r/7518 chore(sterni/ingeborg/minecraft): 1.20.1 -> 1.20.2sterni1-6/+6
Change-Id: I2ec2e61f6b8a3d706966a9d259d350a010424ef1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10862 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org>
2024-02-14 r/7517 chore(sterni/ingeborg/minecraft): 1.19.4 -> 1.20.1sterni1-6/+6
1.20.1 doesn't seem to have any substantial changes except bug fixes, so let's jump to it right away. Change-Id: If41f06352f5e5351e37af1969fa8152693a227e8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10861 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
2024-02-14 r/7516 chore(sterni/minecraft-fabric): add 1.20.* versions released to datesterni1-0/+35
Change-Id: I5d5d971b7cab2fc9af70731d1778f17aabb249b1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10860 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2024-01-23 r/7444 fix(sterni/ingeborg/netdata): silence disk_* alarms for virtual devssterni1-0/+21
The btrfs scrub causes 8 WARNING messages otherwise, followed by 8 CLEAR messages. Change-Id: Ib43d419461c154f74022b3051e256102ab2b03cb Reviewed-on: https://cl.tvl.fyi/c/depot/+/10688 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2024-01-16 r/7391 chore(users/sterni/secrets): remove key of killed machinesterni4-12/+10
Change-Id: I98be0d1ad80b13b35844f29b99201dc92c91d054 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10642 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org>
2024-01-16 r/7390 feat(sterni/ingeborg): add tv user for accessing media archivesterni2-0/+14
Change-Id: I8070b44b15b585e32d4939515d742a2800a2d762 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10641 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
2023-12-31 r/7291 chore(sterni/machines): move http services from edwin to ingeborgsterni10-22/+46
* Make sterni.lv declarative * Disable gopher server * Disable likely-music.sterni.lv for now * Don't give systemd too much leeway with scheduling git syncs Change-Id: Ie8507d96f2df76ad8e393b2181ed7378c37829d0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10480 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-12-25 r/7263 feat(sterni/machines/ingeborg): regularly back up minecraft worldssterni2-2/+131
This is just intended as a local backup in case things go wrong horribly, so you can revert to a recent state. Change-Id: I1d666bad77045a1c807204df144422ba69d1d99f Reviewed-on: https://cl.tvl.fyi/c/depot/+/10417 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-11-30 r/7097 chore(sterni/machines): move minecraft from edwin to ingeborgsterni3-1/+1
Change-Id: I6917a9633c998148d6e5d23b17d949ee007898e5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10180 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2023-11-30 r/7096 feat(sterni/machines): prevent deploy if hostname doesn't matchsterni1-1/+5
Change-Id: I5a850e0d98069483e89d90022b624feba60ceebc Reviewed-on: https://cl.tvl.fyi/c/depot/+/10179 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2023-11-30 r/7095 feat(sterni/ingeborg): make secrets availablesterni5-22/+30
Change-Id: I2a39a6e5125e95c4ea10836694b594d068ceda73 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10178 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-11-30 r/7094 feat(sterni/ingeborg): set up monitoring via netdatasterni4-0/+156
Main objective was to get SMART/md monitoring working, alerts go (via some awful glue code) to #sterni.lv on hackint. Bot nick should also be registered in the future. Change-Id: Ia73c5a64ee9f6df62f5fbe21fc1606477e3d6e73 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10174 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-11-30 r/7093 chore(sterni/edwin): disable creative minecraft serversterni1-1/+1
We currently don't need it actively and it is easy to re-enable if needed. Due to spawn chunks simulation it is not really idling either. Change-Id: I2e4e5ff2271fd61ee1affec27a614244d4a87fcf Reviewed-on: https://cl.tvl.fyi/c/depot/+/10173 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2023-11-30 r/7092 fix(sterni/mod/minecraft-fabric): correctly set service enable optsterni1-1/+1
This actually allows disabling a service for the first time, since the configuration structure for the service is created irrespective of the enable option. Change-Id: I08e5e67565d6fe210fb0f65600b8750433ce4712 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10175 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-11-30 r/7091 fix(sterni/edwin): launch mirror jobs after network-online.targetsterni1-1/+1
This will hopefully prevent failures on system deploys where DNS is briefly not available, so git(1) fails to resolve github.com. Thanks flokli for the tip. Change-Id: I6096e9f3655cbe28ca2a71142de22337814e0be1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10172 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-11-26 r/7070 feat(sterni/ingeborg): enable btrfs auto scrubsterni3-26/+3
While we are at it, rename disk-checkup.nix to btrfs-auto-scrub.nix and move it into //ops/modules. I originally wanted to have additionally disk health related services in that module, but the btrfs scrub functionality is nicely self-contained and reusable, so I think it makes sense to have this in a more central location. Change-Id: Iabdd62838eef009540ca71abafd921afda2a9b47 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10128 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-11-25 r/7069 feat(sterni/machines/ingeborg): boot-strapsterni3-0/+153
Network configuration and initrd setup is basically the same as with edwin, but we are using md for Software RAID this time as well as LVM over two partitions with LUKS: - sda2 <-- RAID1 --> sdb2 (boot-raid) └ boot partition, ext4 (encrypted-container-raid) - sda3 <-- RAID1 --> sdb3 └ LUKS container └ Volume Group vgmain ├ Logical Volume vgmain/swap │ └ swap └ Logical Volume vgmain/root └ btrfs So we no longer rely on btrfs raid1 due to question marks over its reliability (I personally did not have any problems though). This also means that we have less LUKS containers we need to unlock when booting (kind of neglible improvement). The biggest improvement is that we have redundancy for the swap, so a disk failure shouldn't cause memory corruption/loss. Change-Id: I14f065b659857415917d9a60a7ec019e687f8d1c Reviewed-on: https://cl.tvl.fyi/c/depot/+/10127 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org>
2023-11-25 r/7068 chore(sterni/edwin): allow 10G of logs (there's enough space)sterni1-1/+1
Change-Id: I576107047d8213e718e720d3a7a1dcc1dff39122 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10126 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-11-25 r/7067 refactor(sterni/edwin): move generic settings into modulesterni2-64/+81
These settings would also be applied to a machine that'd replace edwin, so it's useful to have them outside edwin's default.nix. Change-Id: I4e8f464118a103645e53909a87c6ee4446022fa3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10125 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-10-08 r/6734 chore(3p/sources): bump channels & overlays (2023-10-04)Vincent Ambo2-3/+2
nixpkgs changed something in how it deals with configuration of the package set itself when that is externally instantiated (like in depot) It seems like we can work around this mostly by just ... deleting some code, as all instances of this were for allowing unfree code, which we've already set on the top-level anyways. * //users/sterni: fix nixpkgs config assertion to point at pkgs.config * //users/wpcarro: disable locate service, which is broken in nixpkgs Change-Id: Iacf6f1c8fd5b5289e7265e155d74f8269a858ceb Reviewed-on: https://cl.tvl.fyi/c/depot/+/9541 Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su>
2023-08-09 r/6479 refactor(nix/sterni/int): rename div & mod to quot & remsterni2-23/+28
This mirrors the terminology Haskell uses: quot and rem truncate towards zero which is also the case for builtins.div. We can give us the option to introduce Haskell-style int.div and int.mod (to complete the confusion) which would truncate towards negative infinity. Change-Id: Ibebb0a01a73c9718cd62121b2fc2a19c3a4be0de Reviewed-on: https://cl.tvl.fyi/c/depot/+/9009 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2023-08-09 r/6478 feat(sterni/nix): add trivial float librarysterni3-0/+73
Only implements the different conversion types from and to ints for now. Unfortunately very reliant on builtins.{floor,ceil} which can't be implemented purely except very inefficiently (to my knowledge), so it only really works for C++ Nix >= 2.4. Tests are thus skipped for C++ Nix 2.3. Change-Id: Idcb1a11df11e214cdba3f2a0715472b370daa7dc Reviewed-on: https://cl.tvl.fyi/c/depot/+/9008 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2023-08-09 r/6477 refactor(users/sterni/nix): move generic number operation into numsterni6-45/+64
We omit type checks for performance reasons in most places currently, so the library grouping is important in showing people what to use for what sort of input. The moved functions make sense to use with floats as well, so we'll move them to the num library. Some of the remaining functions could theoretically be adapted and moved, but aren't for now. Change-Id: Ifdecaa60be594f4438b2a58b9ea6445e2da080e3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9007 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2023-08-09 r/6476 chore(users/sterni/emacs): use Emacs 29 instead of unstablesterni1-2/+1
This means we can subtitute the base package for my emacs derivation instead of compiling it from scratch (which is quite slow). This means I'll be using 29.1-rc1 until https://github.com/NixOS/nixpkgs/pull/246203 or https://github.com/NixOS/nixpkgs/pull/247496 are merged which is okay, as it includes pgtk support. Change-Id: Ie7cfec1ca0df9974c049be0b00d75f32143ac905 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9065 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-12-18T04·18+0000