about summary refs log tree commit diff
path: root/tvix/proto (unfollow)
AgeCommit message (Collapse)AuthorFilesLines
2021-09-26 r/2920 refactor(tazjin/russian): Open wiktionary in eww insteadVincent Ambo1-2/+2
Change-Id: I4e00168328e1129f43f4e2e4016ad0543607a73f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3638 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-26 r/2919 feat(tazjin/emacs): Add vlogcreations feed subscriptionVincent Ambo1-1/+5
Change-Id: If50683716939eb93991f00d2911580ea7800d444 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3637 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-26 r/2918 refactor(web/tvl/logo): Convert lambdas into <use> elementsVincent Ambo2-12/+15
Some mostly manual refactoring of the logo, assisted by inkscape to determine some details. Changes: * grid-aligned lambda & virus body shape * replaced all lambdas except the top-left one with <use> statements of that lambda, this ensures that they actually have the same shape * flipped the feet ... I think it looks better like this? * split the virus body and lambda into different groups, which also easily allows styling them separately Change-Id: Idaf1e3fe273b8c5461f5e433c1b0124fc534d9c5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3634 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-26 r/2917 style(web/tvl/logo): Add dark & light versions, dim backgroundVincent Ambo2-24/+46
Currently the pitch black colour of the logo outline looks a bit strange on the homepage, dimming this to the same colour as the text is nicer. While poking around in that colouring segment I also made a way to spit out light logos instead (to use on dark backgrounds). Note: The light colours are just picked from our web CSS, but they don't actually look good yet - it also needs a different palette. For now nothing uses the light version. Change-Id: Ibfe7fa252cd40b803ac96047d0627dad0d6d9ac2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3633 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-25 r/2916 feat(tazjin/russian): Add words 201-300Vincent Ambo1-1/+103
Change-Id: I1f151858de0abfe90f7d441641ada5b1deae6df3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3636 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-25 r/2915 feat(tazjin/emacs): Install & configure elfeedVincent Ambo3-0/+12
It's worth trying out with a small initial list of feeds that I normally read anyways. Change-Id: I196bf522c159e9630624e60dd1b6419ba987bcd9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3635 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-24 r/2914 chore(ops/git-serving): Remove josh state from whitby backupsVincent Ambo1-2/+0
As cschilling explained on cl/3563, there isn't actually anything in this state that we *need* to persist. We're still keeping it in a persistent directory on disk as this serves as an optimisation after restarts of josh. Change-Id: Ia88886792a5acac34508b5b8a669bd519ca033de Reviewed-on: https://cl.tvl.fyi/c/depot/+/3631 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-24 r/2913 feat(web/tvl): Use new TVL logo on the main homepageVincent Ambo2-8/+17
Change-Id: I4b12b33bab54dbb099d97eaa4c14ca3072c4cd66 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3628 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-24 r/2912 fix(web/tvl/logo): Fix bounding box of the SVG fileVincent Ambo1-1/+1
This trims the huge amount of whitespace on all sides of the logo. Change-Id: Ic14247e002839db729131550f7c7528d080ab519 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3627 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-24 r/2911