about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorFilesLines
2021-04-01 r/2383 feat(third_party): add dhall packages from easy-dhall-nixProfpatsch1-1/+20
About to do some dhalllll! \o/ Change-Id: Ie58c335d80f4a5abeb8296ece5a24377f07e6369 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2585 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
2021-04-01 r/2382 feat(users/Profpatsch/netencode): fully streaming parserProfpatsch1-39/+95
In order to arbitrarily split netencode over multiple reads, we need to make the parser completely streaming, so that it recognizes all cases where it needs more input. Luckily, this is fairly trivial, after working around a bunch of overeager parsing. The tricky part was the giant `alt`, where inner parsers would start consuming input and thus become incomplete when they fail afterwards. Sinc the format *always* starts the different types with one discriminator char, we can use that to instantly return the parser and try the next one instead. The other tricky part was that lists and records would parse all inner elements and then choke on the empty string after the last element, because the inner parser would consume at least the descriminator, and an empty string is always `Incomplete`. We wrap these into a small combinator which plays nice with `many0` in that regard. Change-Id: Ib8d15d9a7cab19d432c6b24a35fcad6a5a72b246 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2704 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-31 r/2381 feat(ops/nixos/www): Serve rendered Tvix component SVG (hack!)Vincent Ambo1-0/+7
This is a quick hack to make it possible to view the rendered SVG on https://code.tvl.fyi/about/tvix/docs/components.md We want to be able to do this sort of thing dynamically in the future, but we can't yet, so ... well. Deal with it. Change-Id: Id2b819679d748b6f517018a9c6e72d5c1d806c4c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2743 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-03-31 r/2380 feat(nix/buildManPages): infra for generating man page dirs from nixsterni2-0/+80
Very simple builder which builds (optionally) gzipped man pages from a list of attrsets and links them into a common man directory with the correct layout, so it should be installable immediately. Additionally runs mandoc -T lint, but by default only for informational purposes as it is very strict and some things are almost never true (for example all Xrs being present in the respective directory). buildManPages.single exposes the internal builder for a single, optionally gzipped man page from a nix attrset. Change-Id: I43fce011716f4a7cc80521f222800ca99ba54060 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2654 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-31 r/2379 chore(tvix): Make docs multi outputadisbladis1-0/+7
We also want to access the produced SVGs separately. Change-Id: I5bdfd95b8a56323ed8bf5f4585b703f6e728c677 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2742 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-31 r/2378 chore(tvix/docs): move from docFlorian Klink5-0/+0
Most other docs folders in the repo are called `doc` too, let's make this consistent. Change-Id: Icd712429b51763076548c977321e370f2a77877e Reviewed-on: https://cl.tvl.fyi/c/depot/+/2741 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-31 r/2377 docs(tvix/components): Editing passVincent Ambo1-19/+63
* general editing * reflowed text to fit on my screen :p Change-Id: I1ae41ef5524d3174d063c66a7bcb990808424bdb Reviewed-on: https://cl.tvl.fyi/c/depot/+/2716 Tested-by: BuildkiteCI Reviewed-by: adisbladis <adisbladis@gmail.com>
2021-03-31 r/2376 chore(web/tvl): Remove some former membersVincent Ambo1-6/+0
Change-Id: I11d3f473142a9b15c5fed6b213c825ccf1c70491 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2714 Reviewed-by: adisbladis <adisbladis@gmail.com> Tested-by: BuildkiteCI
2021-03-31 r/2375 feat(cheddar): Set front_matter_delimiter = '---' extensionVincent Ambo1-0/+1
This chops off "front matter", which we have - for example - in Tvix documentation that is rendered through Pandoc. Change-Id: I65c7a4ad8171423a50aaf47c046dab8c774346d8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2717 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-03-31 r/2374 chore(cheddar): Bump crate dependenciesVincent Ambo3-515/+553
This required some minor Comrak-related refactoring. Change-Id: I5c5898eb895bd5d8743949458ee9406087fcff22 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2690 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: flokli <flokli@flokli.de>
2021-03-31 r/2373 test(cheddar): Add simple Markdown rendering testsVincent Ambo3-1/+66
Covers some of the odd things we do, specifically callouts and code rendering. Change-Id: Ib8542373b434b53d277b0d8c9ddb78ac7c5176a5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2689 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
2021-03-31 r/2372 chore(tvix): Add doc build infrastructureadisbladis4-0/+54
Change-Id: I2cf67df085d0c008b5ff5efff2235a670207024a Reviewed-on: https://cl.tvl.fyi/c/depot/+/2711 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: tazjin <mail@tazj.in>
2021-03-31 r/2371 docs(tvix): Add components docadisbladis2-0/+144
Change-Id: I53856bf98c5c2057f95e9c9af5f07c16ced55e0f Reviewed-on: https://cl.tvl.fyi/c/depot/+/2712 Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-03-31 r/2370 revert(monorepo-gerrit): Revert to using cgit for Gerrittazjin1-10/+10
This reverts commit 3b05be2fd0c0035977dbac731c26651b9ff3e373. Reason for revert: Sourcegraph still does not support fetching arbitrary refs, so we'll have to wait until its Gerrit integration lands before this will work correctly. Change-Id: Icee82c50f92c34ba1741b608449aed16538ccbaa Reviewed-on: https://cl.tvl.fyi/c/depot/+/2721 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
2021-03-31 r/2369 chore(web/tvl): Point footer links at useful thingsVincent Ambo1-3/+5
These were actually just copy&pasted from the layout of my blog (//users/tazjin/blog), even including a dead link. This commit adds more relevant links instead. Change-Id: Ib55aac492f1f9bff650edfa43b52d3d5d611410c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2713 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-31 r/2368 fix(tvix): Add //tvix to readTree rootsVincent Ambo1-0/+1
Change-Id: I7d0e81d6a88f351c7451454f5d506d708e7ed9ca Reviewed-on: https://cl.tvl.fyi/c/depot/+/2710 Tested-by: BuildkiteCI Reviewed-by: adisbladis <adisbladis@gmail.com>
2021-03-31 r/2367 revert(web/tvl): Revert 's/The V/tazjin's v/"'Vincent Ambo3-9/+9
This was originally done when "the purge" happened, and I don't think it's quite accurate anymore. This reverts commit 94846503c59b4155cc98280ef1c5cbcf69696ff9. Change-Id: I4be2bccfa68505a2f663ab1695e547321d2dd0b8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2709 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-03-30 r/2366 feat(gs/emacs): Add terraform configGriffin Smith3-0/+36
Change-Id: I9266ed310024a2a9437ea983dfdf27b8a395c924 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2707 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-30 r/2365 chore(tverskoy): Disable networking.firewallVincent Ambo1-0/+1
I'm only connected to my own tethering nets anyways and I can't be bothered to figure out all the things I need to open for Chromecasts, maybe later. Change-Id: Id1715b205191d4494a5a7001e1fb0f41a89d3de6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2705 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-29 r/2364 fix(gws.fyi): Make CSS mobile-friendlyGriffin Smith1-1/+12
Don't apply the left-margin if the viewport is too narrow too handle it Change-Id: Ia15641a6f0c94f9b0582f4a48af00b935f3e66bc Reviewed-on: https://cl.tvl.fyi/c/depot/+/2703 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2363 feat(gs/mugwump): Add blackbox prometheus exportersGriffin Smith1-0/+40
Add blackbox prometheus exporters to Mugwump with config for scraping gws.fyi, windtunnel.ci, and app.windtunnel.ci Change-Id: Ied9e329d44b506763b600e4978f65a5a3abcf5df Reviewed-on: https://cl.tvl.fyi/c/depot/+/2702 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2362 feat(gs/home): Install prettierGriffin Smith1-1/+2
Change-Id: I0a416ef919859b7516861de7fb575616f5479d26 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2701 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2361 feat(gws.fyi): Make website build easier to testGriffin Smith2-2/+5
Expose website as a top-level attribute, and ignore index.html, both to make test-deving the site easier Change-Id: Ic056446e322ec5f69583d316998103883fc8d55b Reviewed-on: https://cl.tvl.fyi/c/depot/+/2700 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2360 fix(gws.fyi): Explicitly specify personal profile to AWSGriffin Smith2-2/+3
Explicitly pass --profile personal to AWS commands, to avoid deploying this to the wrong aws account on accident Change-Id: Iff8236967adcfdedfbace8930031db9adf60e3d1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2699 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2359 feat(gws.fyi): Link to some of my projectsGriffin Smith1-3/+18
Also start to put things under headings, since we have CSS to make that look decent now Change-Id: I9ad8c5f5bf32360bcae48fb28e390391fcec0a88 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2698 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2358 feat(gws.fyi): Add some very light CSSGriffin Smith4-1/+132
web-brutalism is so 3 years ago, bro but seriously, I'd like to start putting some actual stuff here, so let's make it look halfway-decent. Change-Id: Ic78d725b3755c2307c7ea155af8d0f90e287830c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2697 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2357 refactor(gs/home): Move rebuild-mugwump script to all machinesGriffin Smith2-10/+10
Chupacabra doesn't even exist anymore, plus I want this installed on all home systems Change-Id: Id0e5c89797b1ad52b2a24d60ad3ab5e125f60266 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2696 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-28 r/2356 feat(achilles): Implement a Unit typeGriffin Smith16-88/+447
Add support for a zero-sized Unit type. This requires some special at the codegen level because LLVM (unsurprisingly) only allows Void types in function return position - to make that a little easier to handle there's a new pass that strips any unit-only expressions and pulls unit-only function arguments up to new `let` bindings, so we never have to actually pass around unit values. Change-Id: I0fc18a516821f2d69172c42a6a5d246b23471e38 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2695 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-28 r/2355 feat(web/panettone): Noping issue authors' usernamesGriffin Smith4-3/+20
When sending irc notifications, insert a zero-width space after the first character of the username of the author of issues, to prevent that user from receiving a ping. Fixes: b/95 Change-Id: Ibcacb45129b2cb99b587744eb61f4f1dbc0060d6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2693 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-28 r/2354 chore(web/panettone): Add sterni to OWNERSGriffin Smith1-0/+1
Sterni has been doing a lot of good mainenance work, and I'd like to enable that in as unblocked a fashion as possible. Change-Id: I5bbd2459864c3d4b7e6b9927fc5d4824efc854e6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2692 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-28 r/2353 chore(tverskoy): Add some more missing programs and persisted pathsVincent Ambo1-0/+5
Change-Id: I3fbdbdc177471429d80ed50b4424e5f0b96e6272 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2694 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-03-28 r/2352 fix(clbot): Avoid pinging users for their own user folder CLsVincent Ambo1-2/+12
Instead of only "nopinging" the username in the templated message, replace all instances of the CL owner's name with one that does not (tries to not) highlight them. This way, CLs sent to another user's folder will still highlight them. Change-Id: I9a3d8563ab32befc1a1b1412851026343c170dd3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2688 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: lukegb <lukegb@tvl.fyi>
2021-03-27 r/2351 fix(3p/lisp/puri): Use fetchgit for source, update versionGriffin Smith1-4/+3
Something changed in the upstream we fetch this source from that's causing the fetch to fail - I can only assume it's a yanked rev, but I'm not really sure. fetchgit from nixpkgs appears to be a little bit more robust than builtins.fetchGit, so let's switch to that, and also upgrade to a rev that we know is present. Fixes: b/96 Change-Id: I8983c2df11ab4fa20f60915f950c6a7378efd2fd Reviewed-on: https://cl.tvl.fyi/c/depot/+/2691 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-27 r/2350 feat(ops/dns): Add GSuite site aliases for tvl.suVincent Ambo1-1/+6
Change-Id: Ib18b5bef23a198e7ca031f48290cf0ff0655d8dd Reviewed-on: https://cl.tvl.fyi/c/depot/+/2687 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
2021-03-27 r/2349 docs(REVIEWS): Update example commit for adding a new userVincent Ambo1-1/+1
This fixes https://b.tvl.fyi/issues/81 Change-Id: I5071b3edd81947b43f755e452a62b0129c6d07b6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2686 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-27 r/2348 chore(tvix): Bootstrap Tvix folderVincent Ambo3-0/+699
Change-Id: Ib4d4736c48a31510660b2861aabb9b7ef1320209 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2684 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
2021-03-26 r/2347 feat(ops/nixos/whitby): add flokli userFlorian Klink2-0/+13
Change-Id: Ibdb5b498f8bbc837fffdb38cdf95499b279773aa Reviewed-on: https://cl.tvl.fyi/c/depot/+/2683 Reviewed-by: lukegb <lukegb@tvl.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2346 chore(flokli): init user folderFlorian Klink1-0/+3
Change-Id: Id19eafb3f2cc7dfa1ec8c47cbe9c5766ac491516 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2682 Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-03-26 r/2345 chore(ops/users): Purge some inactive users from LDAPVincent Ambo1-15/+0
Change-Id: Iab2d2d6b7096ef302ea2fd8b051041426c6c8ca6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2670 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-26 r/2344 feat(gs/home): Update discord to 0.0.14Griffin Smith1-2/+2
Change-Id: I115ffcf22f7a3bdbc2641d4a9f7858fd0e049248 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2681 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2343 feat(ops/users): Add flokli to usersFlorian Klink1-0/+5
Change-Id: I87ca0f20663ff858237f641ef2245778601e0416 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2671 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-03-26 r/2342 feat(ops/dns): Configure email settings for tvl.su.Vincent Ambo1-1/+10
Change-Id: Ida5beca7b4efd39fad15ba220dc1fc887ed79b4c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2669 Tested-by: BuildkiteCI Reviewed-by: adisbladis <adisbladis@gmail.com>
2021-03-26 r/2341 feat(ops/dns): Add Google Workspace verification for tvl.su.Vincent Ambo1-1/+4
Change-Id: I44db2bca7aa5814bbefd8943d727cc66ab800fd5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2668 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-03-26 r/2340 feat(tverskoy): Enable moshVincent Ambo1-0/+1
Change-Id: I18fa98aa6ba5892729ab130336f6a5d597865bf4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2667 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-03-26 r/2339 fix(gs/home): Set dunst max icon size to 45Griffin Smith1-0/+1
Notifications with images appear to be working now, which is cool, but they're also *really* large, especially for spotify album art - let's pull that down a bit. Change-Id: I825798cccb54ebafd3facc08f3d6f0f4a42cf010 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2666 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2338 feat(gs/yeren): Install digimend device driversGriffin Smith1-1/+4
Change-Id: Ib8d589bd2110eb23d26a789a9f069f80815dadf3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2665 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2337 feat(gs/yeren): Enable tailscaleGriffin Smith1-0/+2
Change-Id: Ibe48761b3161b1dfa6989dd25ec25593b7fe98ec Reviewed-on: https://cl.tvl.fyi/c/depot/+/2664 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2336 fix(nix/runTestsuite): use s6-portable-utilsProfpatsch1-2/+3
Same as 221698c603dcb318c609b4d21cb2a9fada44a14c We had a bunch of instances of https://github.com/NixOS/nix/issues/2176, where nix would exit with a “killed by signal 9” error. According to Eelco in that issue, this is perfectly normal behaviour of course, and appears if the last command in a loop closes `stdout` or `stdin`, then the builder will SIGKILL it immediately. This is of course also a perfectly fine error message for that case. It turns out that mainly GNU coreutils exhibit this behaviour … Let’s see if using a more sane tool suite fixes that. Change-Id: Iaf9e542952ca36c02208a3f067f575ba978272b4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2663 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2021-03-26 r/2335 fix(users/Profpatsch/writers): use s6-portable-utilsProfpatsch1-6/+7
We had a bunch of instances of https://github.com/NixOS/nix/issues/2176, where nix would exit with a “killed by signal 9” error. According to Eelco in that issue, this is perfectly normal behaviour of course, and appears if the last command in a loop closes `stdout` or `stdin`, then the builder will SIGKILL it immediately. This is of course also a perfectly fine error message for that case. It turns out that mainly GNU coreutils exhibit this behaviour … Let’s see if using a more sane tool suite fixes that. Change-Id: If34ab692120e5e299575bf8044aa5802145ab494 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2658 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-03-26 r/2334 fix(users/Profpatsch/writers): fail on rust test failureProfpatsch1-1/+1
`forstdin` iterates over the tests in the test directory, and by default it does *not* fail if an inner loop returns an error, unless `-o okcodes` is given, a list of exit codes that indicate success. Now it fails if a loop returns ≠ 0. Change-Id: I0b1b2a06cd0a894e5ac4e77ec25019629ce2c077 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2657 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-12-20T07·14+0000