about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorFilesLines
2021-10-22 r/2989 chore(3p/nixpkgs): Bump nixpkgs and Emacs overlayVincent Ambo2-9/+9
... bumping these in the same commit to avoid double-recompilation of Emacs stuff. Change-Id: Ieab114115b788c36e9d42246445cf17b960c11de Reviewed-on: https://cl.tvl.fyi/c/depot/+/3741 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-22 r/2988 chore(web/blog): Move out of //users/tazjinVincent Ambo5-43/+51
This will also be used for the TVL blog, with status updates of projects like Tvix. Note that while this commit evaluates, there are still some things specific to my blog in this code which I'll untangle in a future commit. Change-Id: If59431161b165d7249cbb856073a4cae84a1bfbf Reviewed-on: https://cl.tvl.fyi/c/depot/+/3732 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-22 r/2987 feat(tazjin/rlox): Implement else clausesVincent Ambo4-1/+22
Change-Id: I0bc2333c0b4dd3e2e584a90d0d15b28c48130f03 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3740 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-22 r/2986 feat(tazjin/rlox): Implement simple conditionalsVincent Ambo4-16/+84
... basically just optional blocks (no else). Change-Id: If091c6b8fdeb6c13a5f3dd284d0a9a87f9f4228d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3739 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-22 r/2985 refactor(tazjin/rlox): Return index after adding operationsVincent Ambo3-15/+18
Change-Id: I100eb9b55ace37e5c7c878d3c224b567ee8d1e36 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3738 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-20 r/2984 feat(web/panettone): support dark modeSmitty1-45/+41
When the system is set to dark mode, this is detected through prefers-color-scheme and the color scheme is adjusted accordingly. This fixes #18. The colors are set using CSS variables on the body that are overrridden based on the current color scheme. Change-Id: Id2f95dee4d6968e1b62ce37534f623e489fabde4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3722 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-20 r/2983 feat(gws.fyi): Host ssh keyGriffin Smith1-1/+7
Change-Id: I387ead1daa65a3b39c3771f95f5f6734aebabea9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3737 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-20 r/2982 feat(gs/home): Upgrade discord to 0.0.16Griffin Smith1-2/+2
Change-Id: I2300fc7345dcd644b954c1232bc8a5f0a1858d00 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3736 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-20 r/2981 refactor(tazjin/rlox): Remove use of sentinel valuesVincent Ambo2-21/+24
The C code from which this is translated uses sentinel values for various things, this commit replaces them with standard Rust types instead (amongst a bunch of other small improvements). Change-Id: I892811a7afebb5a0f3b825824fc493ab0b399e44 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3735 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-20 r/2980 refactor(tazjin/rlox): Introduce newtypes for various indicesVincent Ambo4-25/+31
Since this code is essentially a fairly plain translation from C, it is a bit confusing to deal with the original untyped code. This is an attempt to try and clean some of it up. Change-Id: Icd21f531932e1a811c0d6dbf2e9acba61ca9c45d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3734 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2979 fix(tazjin/emacs): Fix renamed cargo mode mapVincent Ambo1-1/+1
Change-Id: I12a893d94dd67106c7cee875fbef432d693b41b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3733 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2978 feat(tazjin/rlox): Support local variablesVincent Ambo6-12/+193
WIP Change-Id: I78fbc885faaac165c380cbd9aa98b4b64a9b8274 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3685 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2977 feat(tazjin/rlox): Global variable assignmentVincent Ambo4-3/+38
Needed for example code compatibility. Change-Id: Id83210eaaad7dcfef5aa238dd3a7ec159f6935e9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3684 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2976 chore(tazjin/rlox): Add some old code example filesVincent Ambo8-0/+92
Change-Id: I484b11069286ea2277e9e158fa5c3bd34f84c89e Reviewed-on: https://cl.tvl.fyi/c/depot/+/3464 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2975 chore(nix/renderMarkdown): Move out of //users/tazjinVincent Ambo3-3/+3
Change-Id: Ia5e873420b57436abead8e02cef3e5b7149de123 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3731 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-19 r/2974 fix(3p/dfmt): Enable release buildsVincent Ambo1-3/+4
This was supposed to be a new patchset of the previous commit, but due to ??? the change became submittable in between patchsets and I submitted it. Change-Id: I92aca64a9f3eee5b7ede6e9fa37d3b12d3f5d1f7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3729 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-16 r/2973 chore(web/atom-feed): Move feed generator out of //users/tazjinVincent Ambo2-1/+2
I intend to use this for updates on TVL projects, which will end up on the homepage, which is outside of //users. Change-Id: I03542d1bcef3d9fc4599294655caab5ed22ba5d9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3728 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-15 r/2972 feat(3p/dfmt): Add derivation for the D code formatterVincent Ambo2-1/+36
Change-Id: I4e06676f45df334db4fbc4f1657a6f16828547dc Reviewed-on: https://cl.tvl.fyi/c/depot/+/3727 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-14 r/2971 refactor(grfn/keyboard): use pkgsCross.avr's default gccsterni1-1/+1
The default gcc version for pkgsCross.avr.buildPackages is 10.x, which seems to be able to build the layout derivation just fine. Change-Id: Ib7790419f38121ea2b1a09c790ef3a04afc0f9f8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3712 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-14 r/2970 chore(3p): bump NixOS channels to 2021-10-13sterni1-6/+6
Change-Id: I8e87ea4140b449e0af4411e48421a565f77be0b6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3726 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-12 r/2969 feat(nixpkgs-crate-holes): report vulnerable crates in cargoDepssterni2-0/+326
nixpkgs-crate-holes can build a markdown report detailing all vulnerable crates pinned in cargoDeps vendors in nixpkgs according to RustSec's advisory db. This report is intended to be pasted into a GitHub issue. The report is produced by a derivation and can be obtained like this: nix-build -A users.sterni.nixpkgs-crate-holes.full \ --argstr nixpkgsPath /path/to/nixpkgs Example output: https://gist.github.com/sternenseemann/27509eece93d6eff35cd4b8ce75423b5 Additionally, you can obtain a more verbose report for a single attribute of nixpkgs, in HTML format since we just reuse the command line output of cargo-audit and convert it to HTML using ansi2html: nix-build -A users.sterni.nixpkgs-crate-holes.single \ --argstr nixpkgsPath /path/to/nixpkgs --argstr attr ripgrep Change-Id: Ic1c029ab67770fc41ba521b2acb798628357f9b2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3715 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-12 r/2968 feat(rustsec-advisory-db): update to 2021-10-08 via nix-prefetch-gitsterni2-3/+29
This makes it much easier to update the db manually and also lays the foundation for future automation bumping the advisory db. Change-Id: I1244020c8bb1af43bf4e207c55f6420eb3f57bcf Reviewed-on: https://cl.tvl.fyi/c/depot/+/3713 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-10-12 r/2967 refactor(tools/rust-crates-advisory): move advisory-db to 3psterni2-7/+10
Change-Id: Iaaed35de078292c0c99a7c83de9ca5fdf27b8135 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3711 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-12 r/2966 feat(tazjin): Install D related toolingVincent Ambo2-0/+3
Change-Id: I4c27b7a3b89ffd3a84313b70af3dfda2b2f6fa98 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3714 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-11 r/2965 chore(tools/cheddar): update dependenciessterni1-350/+187
Change-Id: I64c305c60d2187633cb84e8642e4639f1402325c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3725 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-11 r/2964 feat(users/sterni/emacs): enable jq-modesterni2-0/+3
Change-Id: I943343af92665897e2ebc556f3984a2f8ede9a23 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3723 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-10 r/2963 chore(3p/nixpkgs): Bump to 2021-10-09Vincent Ambo1-6/+6
Change-Id: Ic180b67c764e750d82c3bf4273216d7da75d3aaa Reviewed-on: https://cl.tvl.fyi/c/depot/+/3709 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-10 r/2962 chore(3p/overlays): Bump Emacs overlay to 2021-10-10Vincent Ambo1-3/+3
Change-Id: I794738b8e27404e9b8de2f04d980b94b73dae764 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3708 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-10 r/2961 feat(tazjin/tverskoy): Install unzipVincent Ambo1-1/+2
... the amount of times I've not had this and nix-shell'd it is ridiculous. Change-Id: I8ac3a7a2915e68d235f8349373b2575e6ebe1cb5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3710 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-10 r/2960 chore(3p/emacs): Remove unused 'explain-pause-mode' derivationVincent Ambo1-24/+0
Change-Id: Ibe1a7d4b67c9986aa3da1493e0f30906209abcca Reviewed-on: https://cl.tvl.fyi/c/depot/+/3707 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-10 r/2959 feat(tazjin/tverskoy): Attempt to enable hardware video accelerationVincent Ambo1-0/+8
Change-Id: I0592f5f9be9b01d7809e4d6a2d282e3398dbed4d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3706 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-10 r/2958 refactor(web/bubblegum): avoid dumping depot into storesterni1-1/+1
cleanSource needs to import the path into store which is quite slow at this point. Since we are filtering the path later anyways, using the original path is probably perfectly fine and speeds up builds (which is nice when iterating on something). Change-Id: I0628854d754b5903eb4ae93a3c3e2539b2c1c7e9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3705 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-10 r/2957 feat(nix/sparseTree): allow specifying subtrees as relative pathssterni2-12/+20
Passed strings will be treated as a relative path below the given root, which is quite convenient when using depot.path by eliminating a lot of repetition. Change-Id: I3da6058094484f4a6ffbb84f89ad4472b502a00c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3704 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-10 r/2956 fix(3p): resolve linker issues with clang-compiled C++ packagessterni9-19/+31
The point where this broke is likely when llvmPackages_11.stdenv started respecting stdenv.hostPlatform.linker and thus using GNU binutils' ld.bfd for linking. That linker can't deal with clang's C++ ABI. To fix this we introduce a modified version of llvmPackages_11.stdenv which uses llvmPackages_11.bintools for linking purposes (I also aim to upstream this in some form, but am not sure about the details atm, so we'll just do this in the tvl overlay for now). This is the precondition for getting our C++ packages in //third_party to work again. Additionally the following fixes were necessary: * abseil-cpp needed to be updated (by overriding the version from nixpkgs for now, since I can't update the subtree on my own) to fulfill grpc's requirements (grpc 1.41.0 needs abseil-cpp LTS 20210324). * gtest needs a patch from nixpkgs which fixes the path to its include directory for CMake. * We need to build re2 with clang as well, otherwise linking will fail. Fixes b/132. Change-Id: I7b64579fe96451547babe070fd35db398581e49d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3701 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: tazjin <mail@tazj.in>
2021-10-08 r/2955 chore(tazjin/tverskoy): Timezone -> Europe/StockholmVincent Ambo1-1/+1
Change-Id: I8247ac6c15d3ee89e902737f160d5f0acae707bd Reviewed-on: https://cl.tvl.fyi/c/depot/+/3703 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-08 r/2954 feat(tazjin/tverskoy): Enable printing serviceVincent Ambo1-0/+1
Change-Id: Ic74cf57cafb34b18ef632e4718493146dc063236 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3702 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-07 r/2953 refactor(web): use static.tvl.{fyi|su} for static assetsVincent Ambo6-11/+8
Replaces all uses of relative static paths in TVL pages with the static.tvl.fyi domain. Where possible, the drv hash is directly embedded in the content. Change-Id: Ia882dd37ceae9d047cd81cf1eb37a856b339643a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3682 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-05 r/2952 fix(ops/users): correct password hash for smitopSmitty' via Issues & Patches1-1/+1
The previous hash had a weird salt length and a trailing newline. This fixes it. Change-Id: I1f03238181d0caad38e1f1dbc477356bc20fc32d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3689 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-05 r/2951 feat(ops/users): add smitop to userssterni1-0/+5
Change-Id: I1fc67c0e33e1e1add8a4ea53c8c94e90e53d8bd5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3687 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <mail@tazj.in>
2021-10-05 r/2950 test(nix/readTree): test marking behavior of readTreesterni5-0/+35
This ensures in a simple example that __readTree and __readTreeChildren are populated correctly. Change-Id: I69a46b2ddde0d1f9bf0dff1c4780f033ac8fc27a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3655 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-05 r/2949 refactor(web/tvl/template): default staticUrl to static.tvl.{fyi|su}Vincent Ambo1-1/+1
Change-Id: Ibccb690dc1371499e9800d4414002ce586490a91 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3681 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-05 r/2948 chore(3p): bump NixOS channels to 2021-10-04sterni2-7/+7
* //third_party/overlays/tvl: sbcl 2.1.8 -> 2.1.9 Change-Id: I6817a641d2926af9cd38e90138840e761e5c1581 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3686 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: grfn <grfn@gws.fyi>
2021-10-02 r/2947 feat(nix/utils): expose pathType of symlink targetsterni2-13/+104
In order to make readTree import symlinked directories I've been looking into how to detect if a symlink points to a directory (since this would allow us to use symlinks for //nix/sparseTree). I've found a hack for this: symlinkPointsToDir = path: isSymlink path && builtins.pathExists (toString path + "/.") Unfortunately it doesn't seem to be possible to distinguish whether the symlink target does not exist or is a regular file. Since it's possible, I thought might as well add this to `pathType`. To make returning the extra information workable, I've elected to use the attribute set layout used by `//nix/tag`. This doesn't require us to depend anything (as opposed to yants), but gives us pattern matching (via `nix.tag.match`) and also quite idiomatic checking of pathTypes: pathType ./foo ? file (pathType ./foo).symlink or null == "symlink-directory" Nonexistent paths are encoded like this: pathType ./foo ? missing Of course we can't use this in readTree (since it must be zero dependency), but we can easily inline this hack at some point. Change-Id: I15b64a1ea69953c95dc3239ef5860623652b3089 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3535 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: tazjin <mail@tazj.in>
2021-10-01 r/2946 feat(whitby): serve static.tvl.{fyi|su} with max cache settingsVincent Ambo2-0/+43
The setup is explained in the comment, but TL;DR: Use the derivation hash of static files to create permanent URLs. Relates to b/151. Change-Id: Ib1ca3a1a00c90a47f4bf39c29a8b4bbf5b215e7d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3664 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-01 r/2945 feat(ops/dns): add static.tvl.{fyi|su}Vincent Ambo2-3/+5
This hostname can be used for hosting static assets with aggressive caching for everything, or potentially CDNing stuff if we ever have large things here. Change-Id: I10afdad5eb08125d8d09108e9e099f5573362fe5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3663 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-10-01 r/2944 feat(web/static): Add TVL logo to static filesVincent Ambo1-2/+7
Change-Id: Ie5ee4fe9d137cde9502ded1558fae3ad685b8863 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3661 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-01 r/2943 feat(web/static): Expose drvHash attribute on derivationVincent Ambo1-4/+10
This can be used for easy cachebusting of static assets, so that we can serve them all with a really long cache-time easily. Change-Id: I7c9f6beddec58e1caf02cda33bc587590217a939 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3660 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-01 r/2942 refactor(web/tvl/template): Make static asset URL configurableVincent Ambo3-8/+6
Change-Id: I168924cd7b15103d64c9ad72172f72304e1d3a7d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3659 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-01 r/2941 feat(whitby): Serve //corp/website on tvl.suVincent Ambo2-0/+21
Change-Id: I21e1ddf9a32568cac8ad2595869ac8670867efa9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3658 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-01 r/2940 refactor(corp/website): Write index into a folder insteadVincent Ambo1-13/+17
This makes it possible to directly use the folder as an nginx root. Change-Id: I8cb5236f8d6d01658926330a01c9dfdfa7d60dcc Reviewed-on: https://cl.tvl.fyi/c/depot/+/3657 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-11-21T07·56+0000