about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2022-05-09 r/4021 feat(sterni/emacs): use evil C-w bindings, but with arrow keyssterni1-6/+5
hjkl are a huge pain to use with neo layout. Change-Id: Ic3969c00aa920c4cfea25f5ea16bf38b6bbd5e07 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5541 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-05-09 r/4020 feat(sterni/emacs): enable so-long-modesterni1-0/+4
Change-Id: Iee0023b5f6f3dbe59b685081b61bf8ef5075e6db Reviewed-on: https://cl.tvl.fyi/c/depot/+/5540 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-05-09 r/4019 feat(sterni/emacs): install CMake modesterni1-0/+1
Change-Id: Ia48809cd0a8de9b2d7f93b83976d97df08081cb9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5539 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-05-09 r/4018 refactor(sterni/emacs): M-x sort-lines the dependenciessterni1-16/+12
I'm never able to keep up such a category-based sorting. Change-Id: I1fd1ee064df9b1c5f8c7932f0cfee7c817be3767 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5538 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-05-07 r/4014 chore(tazjin/emacs): Improve TV screen layout positioningVincent Ambo1-5/+5
Change-Id: Ic9a6b30c04382c57ccb8620786f8f6a091c8e306 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5532 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-05-05 r/4013 feat(users/Profpatsch/aerc): use toINIProfpatsch2-158/+43
Uses the list-based toINI, which removes a lot of the complications caused by the INI DSL (it was fun to write but really not necessary). Change-Id: Ia6c30a726662416c99ed74f9eb33537573543383 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5530 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 r/4012 feat(users/Profpatsch): add toINIProfpatsch1-0/+79
This is a morph of the `pkgs.lib.generators.toINIWithGlobalSection` function, which is simplified, inlined, and takes lists instead of attrsets. This makes the key ordering stable and is easy to generate from dhall. Ideally I’d upstream it at one point (in the sense that `generators.toINI` can also take lists), but that will be a lot more work that is not necessary atm. Change-Id: I7d6c129cfee9faedb62f69d479e59a6e05bb7ac6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5529 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 r/4011 feat(users/Profpatsch/importDhall): print dhall commandProfpatsch1-4/+8
It’s often not obvious what dhall command to run to (type)-check the dhall files directly without the nix roundtrip. Now we just print the command, easy to copy. Change-Id: I704a647bff13f73d5a1b1d33b00a46bcb1a9de4e Reviewed-on: https://cl.tvl.fyi/c/depot/+/5528 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2022-05-05 r/4009 feat(users/Profpatsch): init initial aerc configProfpatsch3-0/+335
aerc is a mail client. It needs some ini files to work. This is an initial attempt at generating them. Change-Id: I087955f19d2c4527275500a1e13eeb071c98a7b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5526 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 r/4008 feat(users/Profpatsch/importDhall): print type annotationProfpatsch1-4/+15
If no type annotation is given, debugging errors gets a lot harder because there is nothing to compare it against. But we can tell dhall to print the type first (this means double evaluation, but that’s an optimization problem to be solved later). Change-Id: Icf793828070cd6bb8daeb4c07de3162a5e064653 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5525 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 r/4007 refactor(grfn/i3): use default python package set for py3statussterni1-1/+1
Change-Id: Idcfd145035830c5da6926e3b013477178debef1f Reviewed-on: https://cl.tvl.fyi/c/depot/+/5527 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-05-05 r/4005 fix(users/Profpatsch/alacritty): remove stable alacrittyProfpatsch1-1/+1
I figured out that the problem came from me installing alacritty in my home profile, which was out of sync with my system closure’s opengl. Updating the home profile “fixed” it. Change-Id: I1e2b3a91da9a3ab8c47182e0e0a8e69b9285c75b Reviewed-on: https://cl.tvl.fyi/c/depot/+/5522 Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-05-04 r/4001 chore(users): reflect emacsGcc -> emacsNativeComp renamesterni3-3/+3
Change-Id: I0217b1e316767b48b79f23e9d644b00b7fcc2df2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5518 Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-05-04 r/4000 refactor(grfn/orgExportHTML): use emacs28sterni1-5/+1
org is now bundled, so the expression becomes a bit simpler Change-Id: Ic287ae4500bb5a277694b66e5858a75b454cc9aa Reviewed-on: https://cl.tvl.fyi/c/depot/+/5517 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi>
2022-05-02 r/3995 feat(sterni/emacs): install meson-modesterni1-0/+1
Change-Id: I8d0f741a478c00fd0592f7ed5f9640d5019ce08d Reviewed-on: https://cl.tvl.fyi/c/depot/+/5515 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-04-28 r/3993 refactor(tazjin/blog): Update the 'best tools' postVincent Ambo1-31/+54
Some things were kinda out of date ... Change-Id: Idc8430299c76423a41fb6d952caff4696cc4d71f Reviewed-on: https://cl.tvl.fyi/c/depot/+/5508 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-04-26 r/3992 chore(3p/sources): Bump channels & overlayssterni2-0/+4
* //3p/farmhash: drop, as it is unused and started to fail * //3p/overlays/tvl: - patch barrier to work with gcc 11 - disable outdated test suite for python38Packages.backports-zoneinfo which still assumes zoneinfo 2020a. * //3p/overlays/haskell: patch generic-arbitrary to avoid neg resizes * //users/grfn/achilles: disable CI due to linking trouble (ugh). * //users/grfn/system/home/games: Disable DFHack for dwarf fortress as it's now failing to build Refs: ENG-328 Change-Id: I4e1ee8fd9525d4868b82f9bad8ca5f09e7fdb9d0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5506 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-04-24 r/3990 fix(tazjin/emacs): Stop undo-tree's new file barfingVincent Ambo1-1/+5
undo-tree recently change dsome behaviour and started barfing "history backup files" all over the place. These are really annoying and this commit disables them completely. Change-Id: I1c4ac0b12ba12d1f45c3f0516d16ba4f1f090700 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5504 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-23 r/3989 chore(tazjin/tverskoy): Persist ~/.config/unity3dVincent Ambo1-0/+1
Change-Id: I88cd9590be69cf1e018438d4f55460f18dfa572a Reviewed-on: https://cl.tvl.fyi/c/depot/+/5503 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-21 r/3986 chore(3p/sources): Bump channels and overlaysVincent Ambo3-4/+4
Changes: * updated keycloak configuration for new version * migrate to emacs28 outside of //users, re-add emacs27 but with a warning attached urging people to migrate Change-Id: I3e5765a63934541f72f6c4a8673d3b4671850c93 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5501 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-04-21 r/3984 chore(tazjin/keys): Update set of active SSH keysVincent Ambo2-4/+2
Change-Id: Ic3725ec88a3b1b5f9eb2dd52ba4ff8232906cbb1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5490 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-21 r/3983 fix(users/Profpatsch/alacritty): use alacritty from stableProfpatsch1-1/+1
Change-Id: I8a3f22dd752b5cd70518424335de876210e9bcd4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5487 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-04-20 r/3982 chore(nixery): Housekeeping for depot compatibilityVincent Ambo1-3/+3
Cleans up a whole bunch of things I wanted to get out of the door right away: * depot internal references to //third_party/nixery have been replaced with //tools/nixery * cleaned up files from Github * fixed SPDX & Copyright headers * code formatting and inclusion in //tools/depotfmt checks Change-Id: Iea79f0fdf3aa04f71741d4f4032f88605ae415bb Reviewed-on: https://cl.tvl.fyi/c/depot/+/5486 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su>
2022-04-20 r/3981 feat(users/Profpatsch/blog): Idealized Conflang blogpostProfpatsch2-4/+311
Change-Id: Iec01bc2a1a5ed5d21627ba1f9554ec4b3a8fc4ad Reviewed-on: https://cl.tvl.fyi/c/depot/+/5480 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-04-20 r/3980 feat(users/Profpatsch/alacritty): Some more configurationProfpatsch2-12/+28
Change-Id: Ibb2e1892327bd1f27a16dcde1424b8d55c7783d2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5479 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-04-20 r/3977 fix(tazjin/tgsa): Preserve newlines in messagesVincent Ambo3-4/+26
Change-Id: I9e2d7038357a5510898d153740ae0c0e1f7a8a3a Reviewed-on: https://cl.tvl.fyi/c/depot/+/5483 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-20 r/3976 style(tazjin/tgsa): Move attribution outside of quote bodyVincent Ambo1-3/+3
When quoting a post containing a tgsa quote, the entire quote was previously erased. Doing it this way will leave the Telegram link in it. Change-Id: I53bfadd0615734f7e219b20509858d9b73c908a4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5482 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-19 r/3975 chore(tgsa): Remove shortening of image linksVincent Ambo1-25/+7
The link shortening was in place because posts with image URLs that were too long would not get recognised as valid image links. astral has fixed this after my report: https://forums.somethingawful.com/showthread.php?threadid=3999866 I verified this with the example post that has a bunch of images and such in it. Thanks astral! Change-Id: I60e90fd52020ee5464c931a4dde91382c8a149ab Reviewed-on: https://cl.tvl.fyi/c/depot/+/5481 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-17 r/3974 feat(tazjin/tgsa): Handle messages with audio attachedVincent Ambo1-0/+15
Audio can not be embedded on these stupid dead comedy forums, but people can click through to listen. Change-Id: I6e28636e69e424bb8cbc6b92963d1b28b3c04bf6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5478 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-17 r/3973 chore(tazjin/tgsa): Update quote footer textVincent Ambo1-1/+6
Change-Id: I39ea4a40d9265d06193e3bddede157b10066da06 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5477 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-16 r/3967 feat(tazjin/tgsa): cache generated bbcode in-memory per messageVincent Ambo1-8/+27
Change-Id: Id36266ef20585bfbdffb197ab08aba2978cb86cb Reviewed-on: https://cl.tvl.fyi/c/depot/+/5471 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-16 r/3966 feat(tazjin/polyanka): deploy a tgsa instanceVincent Ambo3-0/+30
Change-Id: I8a32c093eb0ac8f6a0c3cfbb358d46d97d0c3b17 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5469 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-04-16 r/3965 feat(tazjin/tgsa): add "web interface" for thisVincent Ambo3-9/+442
Change-Id: I1619f0ceec2f83f4728d7de006a08b2ce6148e59 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5468 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-04-16 r/3964 feat(tazjin/tgsa): Support linked video thumbnailsVincent Ambo1-29/+44
I couldn't figure out how to get the ID for the `single=1` mode for linking to a video directly, but linking to the post in embed mode should also work. Change-Id: Iebbd62724c36cee227a7c24968617ab418e8bd0c Reviewed-on: https://cl.tvl.fyi/c/depot/+/5467 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-04-16 r/3963 feat(tazjin/tgsa): Implement initial tg embed -> BBcode featuresVincent Ambo5-0/+1082
Supports only posts with plain photos, and loses all message formatting, but it's getting there. Change-Id: I9e4afcf3072d1e0724521ccbdc1338fe4f8d5ebe Reviewed-on: https://cl.tvl.fyi/c/depot/+/5466 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-04-16 r/3962 feat(xanthous): Allow selecting hand for wieldingGriffin Smith4-30/+119
When wielding items, allow selecting which hand the item should be wielded in. Currently this has no actual effect on the mechanics of combat - that'll come next. Change-Id: Ic289ca2d8fa6f5fc0ad5bd0b012818a3acd8599e Reviewed-on: https://cl.tvl.fyi/c/depot/+/5470 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-04-16 r/3961 fix(grfn/xanthous): Use correct ghc version for shell pkgsGriffin Smith1-1/+1
Not having this causes haskell-language-server to complain about a mismatch between its and the project's GHC versions. Change-Id: Ie7584ad96532ca34a85430aa1a2211c2b91db872 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5465 Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-04-16 r/3960 feat(ops/wpcarro): Support ava's SSH key 🔑William Carroll1-1/+2
Another key on the keyring... Change-Id: If3660976e9bc0d96dfc5cec4fc1c1f2eb8738ea1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5459 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-04-16 r/3959 feat(wpcarro/nix): Enable gpg agentWilliam Carroll1-0/+4
Also include `gpg` and `pass` in my commonly used CLI tools. Change-Id: I4df71519e585286a0ab38da6161fbe383695a35f Reviewed-on: https://cl.tvl.fyi/c/depot/+/5451 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-04-16 r/3958 feat(wpcarro/ava): Set timezone on ava to L.A.William Carroll1-0/+2
ava isn't a laptop, so we shouldn't support roaming timezones. Let's hard-code this to L.A. for now. Change-Id: I06fa98909e4db8788b2ff8f0855f630beb54d882 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5456 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-04-16 r/3957 feat(wpcarro/ssh): Give nathan access to avaWilliam Carroll2-3/+10
Strange commit title, but true. Make sure nathan (my MBP) can SSH into ava (my NixOS box at work). Change-Id: Iaf79cdd1b8633a091c706c7cb84522e2023585c0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5455 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-04-16 r/3956 feat(wpcarro/ava): Support dockerWilliam Carroll1-0/+3
Run the Docker daemon on ava. Again: because startup. Change-Id: I944ae097a1ba239715c153777177a09579a6e186 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5454 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-04-16 r/3955 feat(wpcarro/emacs): Support Docker syntaxWilliam Carroll1-0/+2
Because startup Change-Id: I03f93ee22ae88c73e507dc3f5025545ffa389b28 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5453 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-04-16 r/3954 feat(wpcarro/emacs): Support calling sudo on a remote bufferWilliam Carroll2-6/+14
While pattern-matching in Elisp is a bit unsightly, it works :) Change-Id: I6766147095823f1a4e233832b0ef21f4c486e023 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5452 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-04-15 r/3953 feat(wpcarro/ava): Support new machineWilliam Carroll4-1/+185
ava is my new (NixOS!) work machine :) Change-Id: I1f089f00c02519d5d1d93d011f29075d53500e74 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5450 Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-04-15 r/3952 chore(wpcarro): Drop support for monsterpokerWilliam Carroll3-49/+0
This never really got off the ground... Change-Id: I3e712174c83c74e78e2886ea80264652e36ea27a Reviewed-on: https://cl.tvl.fyi/c/depot/+/5457 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-04-15 r/3950 feat(tazjin/polyanka): Grow root partition on bootVincent Ambo1-0/+3
Change-Id: I17e5a988b4be0ac764ce4cf6db243728165e753b Reviewed-on: https://cl.tvl.fyi/c/depot/+/5449 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-04-14 r/3945 feat(grfn/xanthous): Add a help panelGriffin Smith6-7/+100
Change-Id: I581a37df0a20fa54878da4446007dbe677e057da Reviewed-on: https://cl.tvl.fyi/c/depot/+/5444 Autosubmit: grfn <grfn@gws.fyi> Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-04-14 r/3944 feat(grfn/xanthous): Load keybindings from a data fileGriffin Smith6-37/+154
Change-Id: I62ac54543da5c855c86d39956e611fd44515e9a9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5443 Autosubmit: grfn <grfn@gws.fyi> Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-04-11 r/3942 chore(3p/sources): Bump channels & overlayssterni14-32/+12
Use nixos-unstable-small which fixes CVE-2018-25032 (out of bounds write while compressing). * //users/grfn/xanthous: - Supporting random-fu 0.3 requires considerable changes and patching random-extras (https://github.com/aristidb/random-extras/pull/5). For now we downgrade random-fu and its dependency rvar to 0.2.*, forcing us to build xanthous with GHC 8.10.7, due to random-fu 0.2.* not supporting that version. Nix expressions for the downgraded packages are checked in to avoid the potential need to compile Haskell at pipeline eval time. - generic-arbitrary exposes a GenericArbitrary newtype now. This means we no longer have to implement it in xanthous downstream and patch generic-arbitrary to expose the GArbitrary type class. - Minor adjustments for lens 5.0: Xanthous.Game.Memo: clear needs to use ASetter' instead of Lens' Xanthous.Data.EntityMap: TraversableWithIndex no longer has an itraversed function. - Xanthous.Orphans: adjust for aeson's KeyMap, use KM.size explicitly instead of relying on MonoTraversable's length * //nix/buildLisp: the CCL issue has resurfaced, disabling the implementation once again. * //3p/arion: remove, as depot uses the nixpkgs package of it anyways. * //users/wpcarro: accomodate GHC 9.0.1's stricter parsing of operators. * //users/tazjin: disable rustfmt as it stopped respecting settings * //3p/overlays: upgrade home-manager until fix for serivce generation has landed upstream * //users/grfn/system: remove rr override, as the pinned commit is part of the 5.5.0 release shipped by nixpkgs. Change-Id: If229e7317ba48498f85170b57ee9053f6997ff8a Reviewed-on: https://cl.tvl.fyi/c/depot/+/5428 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: wpcarro <wpcarro@gmail.com>