about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2024-10-17 r/8828 fix(users/edef/weave): use safer_owning_refedef4-33/+35
owning_ref has serious unsoundness. Change-Id: Ie760697cd6399e6bc75f1ad17c9bb74adc077a35 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12656 Reviewed-by: edef <edef@edef.eu> Tested-by: BuildkiteCI Autosubmit: edef <edef@edef.eu> Reviewed-by: flokli <flokli@flokli.de>
2024-10-17 r/8827 chore(users/edef/turbofetch): bump crate dependenciesFlorian Klink2-20/+20
Fixes rustls 0.20.9: RUSTSEC-2024-0336 (CVE-2024-32650, GHSA-6g7w-8wpp-frhj) Change-Id: Id38f867a85320e3a3ca870dbf224c4fd4c5abacb Reviewed-on: https://cl.tvl.fyi/c/depot/+/12655 Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de> Reviewed-by: edef <edef@edef.eu>
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-10-17 r/8818 docs(users/edef/fetchroots): add a README for other userszimbatm1-0/+36
Change-Id: Ibce9121fbd209e713ce04271e285f70e2af9867e Reviewed-on: https://cl.tvl.fyi/c/depot/+/12646 Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu> Reviewed-by: flokli <flokli@flokli.de>
2024-10-17 r/8817 chore(users/edef/fetchroots): wire up the buildzimbatm4-4/+12634
Change-Id: I6830b885394001882b54fddf310bbd38d253679a Reviewed-on: https://cl.tvl.fyi/c/depot/+/12645 Reviewed-by: edef <edef@edef.eu> Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
2024-10-17 r/8816 feat(users/edef/fetchroots): initedef3-0/+3620
Change-Id: I6861661bcd99652a1875ccde421e78e87c45054c Reviewed-on: https://cl.tvl.fyi/c/depot/+/11094 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu>
2024-10-12 r/8801 chore(tvix/tools): move narinfo2parquet to //users/edefVincent Ambo6-0/+11617
This is not a core Tvix tool, it's a tool that uses a Tvix component. Change-Id: I81d2b2374da23489df0097dcabb8295c82652fc1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12606 Reviewed-by: edef <edef@edef.eu> Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su>
2024-10-12 r/8800 chore(tvix/tools): move weave to //users/edefVincent Ambo9-0/+11508
This is not a core Tvix tool, it's a tool that uses a Tvix component. Change-Id: I705f2c4ab87f1512e005007c933e16b84ed4279f Reviewed-on: https://cl.tvl.fyi/c/depot/+/12605 Reviewed-by: edef <edef@edef.eu> Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su>
2024-10-12 r/8799 chore(tvix/tools): move turbofetch to //users/edefVincent Ambo9-0/+9375
This was introduced in cl/9925 without any commit message, but this is clearly not relevant to Tvix itself (it even says so in a comment in Cargo.toml). Change-Id: I84f12d5145c3f53c9df23863f887bad913856c50 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12604 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: edef <edef@edef.eu>
2024-10-12 r/8798 chore(tvix/tools): move crunch-v2 to //users/edefVincent Ambo12-0/+15454
This is not a core Tvix tool, it's some sort of one-off analysis thing. Change-Id: I05fcbed45abad27d6b5cfd49db1727249dad3971 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12603 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu>
2024-10-12 r/8795 chore(users/picnoir/tvix-daemon): bump crate dependenciesFlorian Klink2-1260/+671
Change-Id: I437126bba36b61b8f266915e0fe0ecc229a5bc5b Reviewed-on: https://cl.tvl.fyi/c/depot/+/12600 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: Ilan Joselevich <personal@ilanjoselevich.com>
2024-10-06 r/8781 feat(tazjin/nixos): persist yggdrasil keys for tverskoyVincent Ambo3-11/+5
Change-Id: If2513b009a82a07b90eb06a5dc4db0859aa6c78d Reviewed-on: https://cl.tvl.fyi/c/depot/+/12584 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2024-10-05 r/8780 chore(users/Profpatsch/sync-abfall): parkProfpatsch4-0/+0
Change-Id: I9284417cb88f0eb2a0525db789069ca6507a500f Reviewed-on: https://cl.tvl.fyi/c/depot/+/12583 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8779 chore(users/Profpatsch/reverse-haskell-deps): parkProfpatsch4-0/+0
Change-Id: I3940764f8aba806f97d62b0e1cf8d200aa6346ff Reviewed-on: https://cl.tvl.fyi/c/depot/+/12582 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8778 fix(users/Profpatsch): remove parked projects from CIProfpatsch2-0/+0
Change-Id: Idf10af114c236f33ed40052fa05f85d1683d78b6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12581 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8777 chore(users/Profpatsch): park mailbox-orgProfpatsch7-5/+0
I should probably remove the default.nix files in these as well so they don’t get built on CI. Change-Id: I09764f2ee198ab4016a1649f1675f7c45d207b09 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12580 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8776 chore(users/Profpatsch): remove iniProfpatsch2-42/+0
Change-Id: I289e133ef64766d4b1a199a26d2eea9db52918a0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12579 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8775 chore(users/Profpatsch/.gitignore): ignore all js lockfilesProfpatsch1-0/+4
Change-Id: Ieeb79ce72e72ffe12ee26576f644e64a5cad456e Reviewed-on: https://cl.tvl.fyi/c/depot/+/12578 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8774 chore(users/Profpatsch/my-prelude): vendor pa-jsonProfpatsch8-4/+535
Want to be able to make changes with low overhead, and having it in a separate library is just annoying. Change-Id: I30b76885d8e0e6ebaefe9506cf36672783ed4988 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12577 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8773 fix(users/Profpatsch/lyric/ext): print upload message to logProfpatsch1-0/+2
Change-Id: I178077894eb78c9f9cb5da07c1be23b7dba6c7cb Reviewed-on: https://cl.tvl.fyi/c/depot/+/12576 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8772 fix(users/Profpatsch/lyric/ext): set user agent in all fetchesProfpatsch1-4/+7
Change-Id: I8de1ef76c4d5789536e528f49226e58ee90b8749 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12575 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8771 chore(users/Profpatsch): remove AoC stuffProfpatsch4-269/+0
Change-Id: Ifb134053c0f92dfdb4f2c0a3418c0c6a7a1a8507 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12574 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8770 feat(users/Profpatsch): move eslint & prettier to toplevelProfpatsch8-156/+120
the linters & prettier config should apply to my whole subdir. This is somewhat nasty, you have to `npm` in the toplevel dir before it starts working, otoh dev tooling is dev time and I’m working on these alone. Change-Id: I96721f549b24a40b7ffbb2d310f37a40d2590b2b Reviewed-on: https://cl.tvl.fyi/c/depot/+/12573 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8769 feat(users/Profpatsch/lyric): add tapping & improve silence warningProfpatsch2-18/+67
Add a tapping command that does not quantize the timestamps. For the silence warning, we make it BPM-dependent (defaulting to 120BPM as everywhere else), meaning for slower songs we give a higher possible time difference before we display a warning. Change-Id: Idefc44166639b23c2105a1a810ac22ed84457225 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12563 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8768 fix(users/Profpatsch/lyric): create new lyric file if not existsProfpatsch1-15/+15
That was the original intention, but I didn’t understand that lua would fail with "r+" if the file does not exist (and "w+" truncates the file, so you have to try "r+" and then fall back to "w+" which will create the file as well.) Change-Id: Ib238f0b73ab403ceeaf035d053a14eba718d1b48 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12562 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8767 feat(users/Profpatsch/lyric/ext): add lrc upload & ms offsetProfpatsch3-6/+405
This adds support for uploading the lyrics part of an .lrc file to lrclib, see https://lrclib.net/docs I pretty much only used ChatGPT to translate the rust “proof of work” challenge to nodejs and it worked first try lol. Before uploading the lyrics, I construct a webview with a preview of what is going to be uploaded, and then only upload when that is accepted. Pretty sweet. Also adds two commands for increasing/decreasing the current timestamp by 100ms and starting playback from 2 seconds before that, very handy for fine-tuning lines. Change-Id: Ia6adfe26d0c21c62554c8f8c55e97e2caec95d1e Reviewed-on: https://cl.tvl.fyi/c/depot/+/12561 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8766 chore(users/Profpatsch/lyric): add typescript linting rulesProfpatsch6-89/+140
Change-Id: I9ab0336450519648f7a8edeec94bd64b78e2f05b Reviewed-on: https://cl.tvl.fyi/c/depot/+/12554 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8765 feat(users/Profpatsch/lyric/ext): add bpm on quantizationProfpatsch1-8/+102
If the bpm header already exists, overwrite it with the new value. Also use an existing header as suggestion. Change-Id: If6431e8056504db437c31313d885b5ba0d0e55d5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12553 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8764 feat(users/Profpatsch/lyric): add .lrc header for new filesProfpatsch1-2/+27
Insert the length and stuff into the .lrc file headers. Change-Id: Id2565c95c516208f1e46b79d5b8da50f3d6bee62 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12552 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8763 feat(users/Profpatsch/lyric/ext): add bpm quantizationProfpatsch3-1/+186
It’s a bit crappy and really depends on the input field opening quickly again (which it often doesn’t really do…), but it was the easiest way I figured how to do it haha. Aligning to eigth notes is pretty much the easiest way to sync everything up after tapping in the timestamps (for most songs). Change-Id: Ibbb072f62b6ee17d983e81b6c1554bc3516fa636 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12551 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8762 feat(users/Profpatsch/lyric/ext): add lyric shiftingProfpatsch2-7/+137
Change-Id: I1b52e2a295ae81d5d9bf488b1e584dda4d5aac9b Reviewed-on: https://cl.tvl.fyi/c/depot/+/12550 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8761 refactor(users/Profpatsch/lyric/ext): use document directlyProfpatsch1-14/+12
Change-Id: I6869743727d3b16b74c498b4cd60b33c3ed3997d Reviewed-on: https://cl.tvl.fyi/c/depot/+/12549 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8760 refactor(users/Profpatsch/lyric/ext): move command into fnProfpatsch1-36/+38
Change-Id: I2d38455cdf881e03a390d129f9cee3f9eeca485d Reviewed-on: https://cl.tvl.fyi/c/depot/+/12548 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8759 feat(users/Profpatsch/lyric): add vscode extension & helpersProfpatsch17-0/+643
* tap-bpm: simple CLI program that accepts key inputs and averages a BPM value * lyric-timing-mpv-script: If you press Ctrl+l, mpv attaches the current timestamp to a .lrc file named after the song. This is for manually timing missing songs for uploading them to https://lrclib.net/ * extension: vscode extension for `.lrc` files, currently with the following features: 1. A “jump to LRC position” command which reads an .lrc timestamp from the current line and expects mpv to listen on `~/tmp/mpv-socket` (via `--input-ipc-server`), and will seek to the exact timestamp (down to the ms) in the currently playing song. 2. Some initial linting warnings - A lint that warns if the difference to the next timestamp is more than 10s (which usually means there’s an instrumental and the previous line is stuck) - A lint that checks that timestamps are monotonically increasing Change-Id: I32a4ac0e2c5bbe3d94e45ffcf647f81bc7c08aa0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12537 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2024-10-05 r/8758 fix(users/Profpatsch/lyrics): remove special chars from searchProfpatsch1-0/+9
Leaving out any symbol characters improves the search accuracy. Change-Id: I00c993d4099bb8e9701783b53afc9423f1b2f674 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12480 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-05 r/8757 feat(users/Profpatsch/lyrics): integrate into an mpv extensionProfpatsch4-58/+149
Slop it together! The mpv script is entirely generated by ChatGPT. Whoooooooooo Change-Id: Ic284d142c2f1fd6d407af6b3571db0e815604051 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12478 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2024-10-04 r/8755 feat(users/flokli/kb/dilemma): put LALT on right side tooFlorian Klink1-4/+4
It prevent some shortcuts from being used the "natural way", like only being able to type Ctrl-Alt-T with the left hand. Luckily, RALT isn't needed that frequently, so we can expose it right next to GACS (on the G and M keys). Change-Id: Iccba3b1f6a5e2b01195f87471fd9972967b4e175 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12572 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2024-10-04 r/8754 chore(users/flokli/kb/dilemma): bump qmkFlorian Klink1-2/+2
Change-Id: I54fb10f587f5cfadd2b047e7596020094177959d Reviewed-on: https://cl.tvl.fyi/c/depot/+/12571 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2024-10-04 r/8753 fix(tazjin/emacs): fix term-switcher hotkeyVincent Ambo1-1/+1
Change-Id: I052d4328320699c00e0192405b7392aa660d67ec Reviewed-on: https://cl.tvl.fyi/c/depot/+/12570 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2024-10-03 r/8751 feat(tazjin/desktop): install kanshi for output managementVincent Ambo1-0/+2
Change-Id: I64b41d7ee43cfc882cf313f10888fb4447b4bc33 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12566 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2024-10-02 r/8750 docs(tazjin/niri-reap): add a simple READMEVincent Ambo1-0/+20
Change-Id: I53c760115bda3df2f964ac359f4c9e127c9890ad Reviewed-on: https://cl.tvl.fyi/c/depot/+/12565 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2024-10-02 r/8749 feat(tazjin/niri-reap): improve reaping of workspaces aboveVincent Ambo1-8/+25
Previously the script ignored workspaces that were further up, but in practice I don't care about their order, I just want them to be gone. To keep IDs stable, this implements a fix where the current workspace is first moved to the first position (invisible), and windows are then reaped afterwards. I've tried this in various combinations and it seems to work fine. Change-Id: Ifc3eb272af761670ec83305665ec2103eb4f269e Reviewed-on: https://cl.tvl.fyi/c/depot/+/12564 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su>
2024-10-01 r/8739 fix(tazjin/emacs): ensure niri package is loadedVincent Ambo1-0/+1
Change-Id: I8e5e30a1da2937555ac63bf024a4e3d6b2e9872a Reviewed-on: https://cl.tvl.fyi/c/depot/+/12555 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2024-09-29 r/8736 feat(aspen/system): Add desktop entry for emacs on ogopogoAspen Smith1-1/+12
turns out emacs over ssh forwarding works well if you use ssh -Y Change-Id: I9c1134d880265b765b0dc52d587ee331fda29f7f Reviewed-on: https://cl.tvl.fyi/c/depot/+/12546 Autosubmit: aspen <root@gws.fyi> Reviewed-by: aspen <root@gws.fyi> Tested-by: BuildkiteCI
2024-09-29 r/8735 feat(aspen/system): Setup a systemd timer to sync the depot public inboxAspen Smith2-4/+29
Change-Id: Iaeae18af25b00b04bd805dabb320c218cb21fd8f Reviewed-on: https://cl.tvl.fyi/c/depot/+/12545 Tested-by: BuildkiteCI Autosubmit: aspen <root@gws.fyi> Reviewed-by: aspen <root@gws.fyi>
2024-09-29 r/8734 chore(tazjin/dotfiles): check in more local configurationVincent Ambo4-1/+21
Instead of installing and configuring fuzzel and wl-clipboard locally, put them into Nix, too. Change-Id: I4b909ac1d0577f8bd176bbaae71583c59aaf5362 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12544 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2024-09-29 r/8733 feat(tazjin/dotfiles): configure wlr/taskbar for waybarVincent Ambo2-1/+39
I think that's the last module I was missing for this to be "feature-complete". I think ideally the things displayed by the taskbar would have the same order as the current Niri layout, but I can tackle this later. This might require a patch in Niri. Change-Id: I67cc2366b6c510830021954372e29ce0be7d8363 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12543 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2024-09-29 r/8731 feat(tazjin/emacs): wire up niri integrationVincent Ambo3-0/+3
Change-Id: Ib0ef3b7cbf4c1dde121e31aa5052145efe350472 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12541 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2024-09-29 r/8727 fix(tazjin/dotfiles): minor waybar style fixesVincent Ambo1-1/+2
Change-Id: Iac1fb9856b3783912e505ca0e5228718f42abd4f Reviewed-on: https://cl.tvl.fyi/c/depot/+/12534 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2024-09-26 r/8723 style(tazjin/dotfiles): more authentic win95 waybar stylingVincent Ambo3-74/+154
Brings this a LOT closer to the Windows95 style theming that I'm trying to achieve with the whole thing. Change-Id: Ifb457a682cb83a78e4a8e2ba2bb4a5b96f3eaf1f Reviewed-on: https://cl.tvl.fyi/c/depot/+/12525 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su>