about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorFilesLines
2021-11-13 r/3049 feat(users/Profpatsch/lens): lens library for nixProfpatsch1-0/+131
Profunctor lenses for nix. Implemented Profunctor and Strong instances for `(->)`, and some simple setters. Next step would be getters, which will need the `Forget` profunctor. Fairly straightforward implementation of https://github.com/purescript-contrib/purescript-profunctor-lenses (with all the types erased and instance dicts passed manually). ``` > :p set (optic [_2 (field "foo") _1]) 42 (tuple 1 { foo = (tuple 1 2); }) { fst = 1; snd = { foo = { fst = 42; snd = 2; }; }; } ``` Change-Id: Iad145523d1c035187b8b2db9302b840c282d427a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3295 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3048 feat(users/Profpatsch/blog): Add posts sectionProfpatsch2-38/+168
A new section for my awesome website. Migrates an old blogpost from the github repository. Change-Id: I5fd0c2b2679a1367015fa098e3e787bbc0cdd973 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3293 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3047 feat(users/Profpatsch/blog): Add projects sectionProfpatsch1-7/+106
A new section for my awesome website. Change-Id: I6c624aa0bfaf82aff943431da7499bec1d842c67 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3291 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3046 docs(users/Profpatsch/blog): document symbolsProfpatsch1-12/+20
… and clean up the import list a little. Change-Id: I7a116e9bbf01731267795b5327fecf98f0c7c3e4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3286 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3045 docs(users/Profpatsch/lib): move split-stdin to lib & documentProfpatsch2-7/+24
Change-Id: I39e81ed766cb209ded5309ea962a59a6f1c811c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3285 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3044 chore(users/Profpatsch/blog): me -> depot.users.ProfpatschProfpatsch1-16/+14
Change-Id: I72e38ce4cef109df197eccedac8e67ec423d4996 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3284 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3043 chore(users/Profpatsch): move cdbListToNetencode out of the blogProfpatsch2-94/+91
It’s a small tool that I’ve used before but not anymore, but since it has a few helpers for dealing with cdb stuff, I’m gonna keep it around for now I guess. Change-Id: I83c62fa2194113d021414708b0906350b3f2a222 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3283 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3042 fix(users/Profpatsch/blog): notes toplevel renderingProfpatsch1-4/+17
The rendering of the notes/ template was done in a very roundabout way through the routing table before. Now it’s constructed directly. Change-Id: Iaa6157cc3f9a7e5e0ad81ab843efa988995666b2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3282 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3041 docs(users/Profpatsch/netencode): some docstringsProfpatsch1-0/+10
Change-Id: I447113d408cf51f1ed9f9d7571b2229e166e7680 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3281 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3040 feat(users/Profpatsch/netstring): add nix toNetstring* functionsProfpatsch1-0/+12
We can easily construct netstrings from nix strings, which is super helpful to inject proper structured data into execline scripts. Change-Id: Ie8bffed285896223db83652eaea868ece43592b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3265 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3039 feat(users/Profpatsch): add atomically-writeProfpatsch1-0/+28
A little shell script to atomically write stdout to a file. Change-Id: Icca58909c9ad3f92d69af2f5e20c08d69878a77c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3264 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-12 r/3038 fix(tvl/logo): Fix rendering of PNG filesVincent Ambo1-1/+1
The previous format for entering the shape of the 'V' (as exported by Inkscape) is incompatible with the PDF rendering process, somehow. This reverts the letter back to the old path definition format with the offending point manually removed. Change-Id: I6ff3310afb5a757d657f2f0d8a761f355a8e50c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3843 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-11-12 r/3037 fix(tvl/logo): Fix shape of 'V'Vincent Ambo1-1/+1
There was an additional point in this letter's path, which led to a small fragment of the "buttcrack" remaining. Change-Id: I4aa25190c2f2d5fbae55d85c499939ec72a25add Reviewed-on: https://cl.tvl.fyi/c/depot/+/3842 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-11-12 r/3036 chore(3p): Bump nixpkgs and emacs-overlayVincent Ambo2-9/+9
Change-Id: Ic3dd1050b137b3107d22b656675cc87727ee4a5c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3841 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-11 r/3035 chore(tazjin/tverskoy): Make automatic-gc more conservativeVincent Ambo1-2/+2
It keeps gc'ing things I'm using more than I would like. Some sort of meme potential about my storage use on the laptop here. Change-Id: I0f8078a92effaf32bcadc3355507469babbc2eb8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3826 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-11-10 r/3034 feat(nixpkgs-crate-holes): cc maintainers allowed by a whiteliststerni2-3/+19
Change-Id: Iffbe173a48b466c52669efc70f9b5e5d4a6aff9a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3730 Tested-by: BuildkiteCI Reviewed-by: Alyssa Ross <hi@alyssa.is> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-10 r/3033 chore(tazjin/keys): Remove key for vauxhallVincent Ambo1-1/+0
Change-Id: Ib162e08ec6b47fd5d9ecef5aba402e9360d35b47 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3823 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-10 r/3032 feat(tazjin/emacs): Bind a key for #'tvl-depot-statusVincent Ambo1-0/+3
Change-Id: I46387b5193ecca082d0bc3e7ba7c0907fb9cf639 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3822 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-10 r/3031 fix(tazjin/tverskoy): Timezone -> Europe/MoscowVincent Ambo1-1/+1
Change-Id: I8ce9f4ff01f29e89f1acda258969622290cb6cc7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3824 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-09 r/3030 fix(gs/yeren): Pin to linux 5.14Griffin Smith1-1/+1
5.15 seems to break my external USB hub Change-Id: I357c8187d5281c0b363d1343dfec659ff94869c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3821 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-08 r/3029 fix(gs/emacs): Fix link syntax for org email capture templateGriffin Smith1-1/+1
%l includes two pairs square brackets around the text, which doesn't work if we want a description - %L only includes the literal link location, so we can surround it in only one pair of square brackets Change-Id: I3436f631f0e33336214828e0eb58d5333418b26f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3820 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-08 r/3028 feat(xanthous/server): Load host secret key from diskGriffin Smith2-5/+29
Rather than randomly generating a new host key every time we run the server, load the host's secret key from a file on disk at startup, so that clients don't have to disable host key verification to connect every time we restart. Change-Id: I4d283bc919f4825789f686a98c174a71929087a6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3819 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-08 r/3027 chore(gs/xanthous): Gitignore more state filesGriffin Smith1-0/+3
Gitignore: - *.save, which I use for save-games I want to use as test case reproductions - .tasty-rerun-log, which tasty-rerun uses to save which tests failed on the last run - cabal.project.local-*, since I've got a file on my machine called cabal.project.local~0 so apparently that's a thing now Change-Id: I07c391fa25a84e96efca6771997f280ff12826b5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3818 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-08 r/3026 feat(gs/xanthous): Enable tasty-rerunGriffin Smith5-6/+10
Rerunning only failed tests is nice! To use this, run `cabal new-run test -- --rerun` Change-Id: I9dc4d69749c3e3d5ba8d1661a2fdf73e49cd8ad5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3816 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-08 r/3025 fix(web/blog): make base URL configurable for atom feedsVincent Ambo6-17/+19
This was previously hardcoded to tazj.in, which is not going to work of course. Instead it now takes the blog config which has a new baseUrl parameter. For ease of use, the configs of my and the TVL blog have been moved into a location that is accessible in the tree for reuse. Change-Id: I94e71aaa7859db4380eb7013740a17f6b6a02620 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3777 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-08 r/3024 fix(gs/home): Move dunst shortcuts into i3 configGriffin Smith1-7/+4
Dunst as of 1.7.0 apparently no longer supports keyboard shortcuts (so much for semantic versioning) in favor of having them be bound in the window manager to invocations of `dunstctl`. Change-Id: Ic3f10a29061c19ea0002e0f6d596baeafa58d968 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3815 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-08 r/3023 fix(gs/xanthous): Don't take up half-width for promptsGriffin Smith1-4/+2
txtWrap takes up half the available width in the viewport, causing the input for prompts to display way too far to the right of the actual prompt. I'm not aware of any actual mutiline prompts, so using txt here makes way more sense. Change-Id: I7f62066f1b07b5d6ba2c7ffed77c87ae33b1dfa5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3814 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3022 feat(gws.fyi): Mention xanthous ssh serverGriffin Smith1-1/+2
Change-Id: Icda55f85bcbb8e7743834b847dd595d31a138eb9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3813 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3021 feat(gs/mugwump): Run xanthous serverGriffin Smith3-2/+50
Add a nixos module for running the xanthous server in a docker container, and install it on mugwump including a prometheus scrape config. Change-Id: Ifeb315845b7eef2ee33af98fa3f71acdd3d9fe6b Reviewed-on: https://cl.tvl.fyi/c/depot/+/3812 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3020 feat(xanthous/server): Add simple prometheus metricsGriffin Smith4-11/+589
Add a prometheus exporter and some simple prometheus metrics, so that I can look at dashboards and get alerts for things like lots of connections Change-Id: Ic1e0568200299dc852b74da647a6354267ee7576 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3811 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3019 feat(xanthous/server): Add derivation for docker imageGriffin Smith2-1/+26
This appears to work pretty nicely! Change-Id: Icf52f58225ee2837b30ba6187ae3ba3c539de9df Reviewed-on: https://cl.tvl.fyi/c/depot/+/3810 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3018 feat(xanthous/server): Run with --disable-savingGriffin Smith1-0/+1
Don't write to my disk, please, random internet people. Change-Id: I1d199fc3675f6ec7630f598bbc33dc7ef7e02e68 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3809 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3017 feat(gs/xanthous): Allow disabling savingGriffin Smith4-34/+68
Add a command-line parameter to disable the Save command, so people don't save and fill up my disk when I'm running this on the internet. Change-Id: I2408e60de2d99764ac53c21c3ea784282576d400 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3808 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3016 fix(xanthous/server): Accept password authenticationGriffin Smith1-0/+6
Accept password authentication in addition to public key authentication, but ignore the actual password, so that clients without ssh keys configured (or configured to send no ssh keys) can authenticate. Change-Id: I86130b9725d1928ac45b5db55f18c09687ee0fd5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3807 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-07 r/3015 feat(gs/xanthous): Add SSH server applicationGriffin Smith9-2/+1912
Add the start of an ssh-compatible server application for playing Xanthous over ssh. The idea here is that the user can ssh with whatever username they like (defaulting obviously to their login username) and then that gets passed as the --name flag to xanthous as they play. Change-Id: I39eec288ac8e22a165e859479888d78158a58818 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3806 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-07 r/3014 chore(3p): bump NixOS channels to 2021-11-03sterni3-4/+6
* //third_party/{abseil_cpp, grpc}: fix linker problem by passing the C++ standard to use explicitly. nixpkgs upstream stopped passing this to abseil between bumps and the way this problem manifests itself is linker errors, because… C++, I suppose. Change-Id: I932ea70befee90984ae2e575dfc23f5c601cd289 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3769 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: grfn <grfn@gws.fyi>
2021-11-07 r/3013 docs(atward): Document availability of new query typesVincent Ambo1-0/+5
Change-Id: Ie96eae39722c0bd22f3801cc9e24c28148f0a0cd Reviewed-on: https://cl.tvl.fyi/c/depot/+/3779 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-06 r/3012 fix(gs/xanthous): Fix numAliveNeighbors{,M} on the edgeGriffin Smith2-11/+70
numAliveNeighbors was doing bounds checks too aggressively, resulting in always returning 8 for points on the edge, meaning walls weren't getting properly created for those points, making edges of the map open to walk through. Change-Id: Iada6be46ce7cc77ce99a320b7310008898b89273 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3805 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3011 fix(gs/xanthous): Don't gen dupe tutorial messagesGriffin Smith2-7/+13
Don't generate tutorial messages on levels other than the first. Change-Id: I7681377461b92f5d5015931b0088bef9d358d2e4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3804 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3010 refactor(gs/xanthous): Use a Word for the level numberGriffin Smith3-10/+20
Using a signed Int here is a little silly, since we can never have negative levels. Change-Id: Ibe03be5014226e07dfa6f78d8360301bc1b7c9b1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3803 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3009 fix(gs/xanthous): Update hie.yaml for new app/ directoryGriffin Smith1-1/+1
Change-Id: I87c82f22313285085ac53485613b7d9f91b52ed2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3802 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3008 feat(gs/xanthous): Default to the current save fileGriffin Smith8-31/+93
When saving, default to the save file that was loaded for the game if any. To support this, this also makes text prompts support a default, which will be used if no value is input. Change-Id: I72a826499d6e987b939e3465a2d29167e53416be Reviewed-on: https://cl.tvl.fyi/c/depot/+/3801 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3007 fix(ops/pipelines): Fix tagging of commit revisionsVincent Ambo1-5/+1
It seems that shell variables don't work as expected inside the Buildkite pipeline, so usage of variables has been removed. We also don't echo the revision anymore because of that, but it does still appear in the log of `git push`. Change-Id: I124e3b09af896da898f2a78715ed371651a1c5f8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3780 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-05 r/3006 feat(web/tvl): Render blog posts and atom feed for TVLVincent Ambo1-2/+33
Includes the blog posts and feed in the $out directory, but without linking them from the TVL homepage yet. Change-Id: If9c094b29e43e9a81b0cc3d731261dc4b10557c1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3776 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-05 r/3005 refactor(ops/pipelines): Move revision tagging into static pipelineVincent Ambo2-14/+18
This makes the revision number available much earlier (before the rest of the pipeline runs, while Nix eval is happening) which should only be a few seconds after a commit to canon. It is also more readable in this shape. Change-Id: Iccbb17dfef6afe68f54fda41e8d10c4dc52b08c2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3775 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-05 r/3004 feat(web/tvl/blog): Add scaffolding for first blog postVincent Ambo2-0/+14
No content yet, but I need this in place to chop up the other changes nicely. Change-Id: I4302e14ab513d6d4dd23e9e8ab5493223b9a80b4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3774 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-05 r/3003 refactor(web/tvl/template): Move footer into a separate targetVincent Ambo2-15/+22
This makes it possible for the footer to be reused in other places, e.g. when templating blog posts (which do not go through //web/tvl/template (yet)). Change-Id: Ia8ab0e1c6db4f76b4de49239e11a4474038f60ae Reviewed-on: https://cl.tvl.fyi/c/depot/+/3773 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-05 r/3002 feat(atward): Support depot revision queries (r/...)Vincent Ambo1-4/+26
Redirects these to the cgit commit view. Only supports cgit because we don't have a good way to coax Sourcegraph into fetching these refs. Change-Id: I8c28ed015ba37c04eb4b7a667bde70ff6a92bf4c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3772 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-05 r/3001 fix(web/blog): Correctly wrap footer contentVincent Ambo1-2/+2
Name clash went undetected because I called this variable the same thing, oops. Change-Id: Iafa508f26887302b1c256088c50c68cd0ed7eea2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3771 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-04 r/3000 refactor(web/blog): Move atom feed creation logic to //web/blogVincent Ambo3-27/+38
This was previously all inside of my personal homepage configuration, but that's not really where it belongs. This moves the blog post -> feed entry logic to //web/blog and moves some other minor logic (like entry order) into the atom feed implementation itself. Change-Id: Idde0241c48e979580de73f2b9afd04e6ca7f4c9a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3770 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-12-11T12·32+0000