about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2020-07-06 r/1233 fix(gs/emacs): Add org files to agenda recursivelyGriffin Smith1-1/+2
Apparently just putting the directory in there only sees top-level files, rather than descending a directory. Change-Id: If9febb37f59754bcfe442fb413df475d83e0193f Reviewed-on: https://cl.tvl.fyi/c/depot/+/949 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 r/1232 feat(gs/keyboard): Add the start of an FPS layerGriffin Smith1-1/+21
Not having space on my left hand is definitely not great for FPSes Change-Id: Ie69201c5a3a2696a7d606be3979e1bfa11eb261a Reviewed-on: https://cl.tvl.fyi/c/depot/+/948 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 r/1231 feat(gs/keyboard): Integrate my layout with the depotGriffin Smith2-12/+24
Integrate the keyboard layout for my Ergodox EZ, which is a layout for QMK, with the depot, including exposing several cross-compilation packages necessary to compile qmk for avr in third_party. Change-Id: Idd43169a0a3cf0be2bd1a578fdaff70388a58bfc Reviewed-on: https://cl.tvl.fyi/c/depot/+/947 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2020-07-06 r/1224 refactor(gws.fyi): Register GC rootsGriffin Smith1-1/+1
Don't want this getting GCed in between execution, so remove --no-out-link from the nix-build invocation. Change-Id: Ib786d46f84938f45f51823781eecb88338120526 Reviewed-on: https://cl.tvl.fyi/c/depot/+/943 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 r/1223 refactor(gws.fyi): update freenode nickGriffin Smith1-2/+2
Change-Id: Id1107c13f10726ecb8a14c14e6532c17f0b5c54a Reviewed-on: https://cl.tvl.fyi/c/depot/+/942 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 r/1222 refactor(gws.fyi): Point to sourcegraphGriffin Smith1-1/+1
Change-Id: I658ca00a9e5cdf69e884edb872816c192f794683 Reviewed-on: https://cl.tvl.fyi/c/depot/+/941 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 r/1221 feat(ops/nixos): Add generic rebuild-system scriptGriffin Smith1-3/+1
This adds a first crack at one idea for a generic, non-user-specific rebuild-system script to ops.nixos.rebuild-system. The idea here is that we enumerate all the nixos systems stored in the monorepo (similarly to what we do for ci-builds right now) then search through them by hostname to find the one matching the hostname of the current system, which is an attempt at a more generic version of tazjin's rebuilder script which does the same thing but with an explicit case block. As a caveat, it feels like there's a slight possibility that this way of finding systems is going to get slow to evaluate - on my system it feels fine but if it grows out of hand it's probably feasible to just bake this into the built script as a dynamically generated case statement. Change-Id: I2e4c5401913b6f4d936ab48ba2f95f96e0e78eb4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/894 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
2020-07-06 r/1220 refactor(gs/emacs): Break email config into its own fileGriffin Smith2-16/+17
Change-Id: I90327cbd2d8a735cdedae7f7b5412959cf710aef Reviewed-on: https://cl.tvl.fyi/c/depot/+/938 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-04 r/1209 feat(gs/emacs): Run hlint after lspGriffin Smith1-0/+5
Change-Id: I57413e181354014eee2da7564ac3676b840dee94 Reviewed-on: https://cl.tvl.fyi/c/depot/+/913 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-04 r/1208 feat(xan): Install hlint in shellGriffin Smith1-0/+1
Change-Id: I93035bc05ff7f47515efe18703f296129ed9e7f8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/911 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-04 r/1207 refactor(xan): Switch to V2 over tuples most placesGriffin Smith12-143/+172
These are generally rather nicer to work due to some typeclass instances, and integrate better with other ecosystems for things like linear algebra etc. Change-Id: I546c8da7b17234648f3d612b28741c1fded25447 Reviewed-on: https://cl.tvl.fyi/c/depot/+/910 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1205 fix(gs/emacs): Ensure we run hls from the right dirGriffin Smith1-1/+23
Xanthous specifically breaks pretty majestically if it's built from anything but a source dir, due to the TH splices we're doing to embed messages.yaml files - this does some extra shuffling to make sure we always cd to the project directory when running haskell-language-server Change-Id: I6daee712f04b96d5755dcbc3dbad4c7b78a46f61 Reviewed-on: https://cl.tvl.fyi/c/depot/+/905 Reviewed-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-03 r/1204 feat(xan): Use haskell-language-serverGriffin Smith6-37/+17
Use haskell-language-server instead of haskell-ide-engine for Xanthous. Change-Id: I7ef1433d5cd561e659fc06b3f373a6f29dfa5690 Reviewed-on: https://cl.tvl.fyi/c/depot/+/904 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI
2020-07-03 r/1201 chore(tazjin/frog): Remove Buildkite agent setupVincent Ambo1-14/+0
Whitby is handling this now! Change-Id: I342d0ad15e3b2c177f7251b01e884729141b99fd Reviewed-on: https://cl.tvl.fyi/c/depot/+/907 Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-03 r/1200 feat(tazjin/frog): Add whitby as a binary cacheVincent Ambo1-0/+3
Change-Id: Iedfd0a4aef6e49fc2dcaf9da3d41b858bc3b22f9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/906 Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-03 r/1198 fix(xan): Don't allow looking at invisible thingsGriffin Smith4-22/+27
Extract the conditional we're using to decide whether or not to render a given entity at a position, and use that when getting the list of entities to describe as a result of the "Look" command. Change-Id: I1ec86211c2fcbd984dd52338fb5631667c22c723 Reviewed-on: https://cl.tvl.fyi/c/depot/+/903 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-03 r/1197 feat(gs/home): Make groc alias autostashGriffin Smith1-1/+1
Change-Id: I8ce5ca50d90ed092e92ea7c1c2eaf796e56659d4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/902 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1196 feat(gs/home): Some new haskell aliasesGriffin Smith1-0/+4
for cabal 3 commands that are runnable without new- or old- Change-Id: Ib00c8654c40c47482e06aec9dd1454dacce42971 Reviewed-on: https://cl.tvl.fyi/c/depot/+/901 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1195 feat(gs/home): alias groc = git rebase origin/canonGriffin Smith1-0/+1
Change-Id: I3e5a8d234fdac9f0a2f1d440ed7dea458663ae61 Reviewed-on: https://cl.tvl.fyi/c/depot/+/900 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1194 feat(gs/system): Add whitby to trustedBinaryCachesGriffin Smith1-0/+1
This is needed as well to use it as a substituter it seems Change-Id: I6cefbccef2a61d665209131084bc58d7b56645f9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/899 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1193 refactor(gs/system): Don't use whitby as a remote builderGriffin Smith1-9/+0
Right now it looks like the time to copy data between local and whitby essentially eliminates any benefit to using it as a remote builder. Which is a shame, but ah well. Change-Id: I71dc4782992a28b196e262d40acc1bbc0b883529 Reviewed-on: https://cl.tvl.fyi/c/depot/+/898 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-03 r/1192 feat(gs/system): Add public keys for whitbyGriffin Smith1-1/+2
Change-Id: I138ccbd7da9849025f1f59dfe948cfb7a5684b6d Reviewed-on: https://cl.tvl.fyi/c/depot/+/896 Reviewed-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-03 r/1191 feat(gs/emacs): Update hie invocation for depotGriffin Smith1-12/+15
Update the invocation of the hie.sh script as part of +grfn/haskell-mode-setup to be compatible with the new depot-integrated xanthous. Change-Id: Ia3ef50fb08464a533efdfed4da66e2be00446ea6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/891 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI
2020-07-03 r/1189 refactor(xan): Simplify build infrastructureGriffin Smith5-71/+42
Simplify the build infrastructure for creating shells etc. for xanthous, including relying more heavily on stuff exposed in Depot anyway, using shellFor in the shell.nix, and using the haskell.nix branch of all-hies for a significantly simpler build. At some point the all-hies stuff will likely want to be promoted up to //third_party, but for now it's experimental enough that I don't want to bother other people with it. Change-Id: I43830de73830fdc07d48af9b87d7930f59599532 Reviewed-on: https://cl.tvl.fyi/c/depot/+/890 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI
2020-07-03 r/1188 fix(xan): Remove unused importsGriffin Smith4-12/+2
GHC 8.8 is better at detecting unused imports, it seems - all of these are new warnings that fail under -Werror Change-Id: I1357094d715483612deb0db4a75b3e4f8f27d2e3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/889 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-03 r/1187 fix(xan): fix compat with new base+ghcGriffin Smith6-4/+6
A couple of changes necessary to get things working with both ghc 8.8.3 and the new base: - Explicitly import fail from Control.Monad.Fail in the prelude, since it's there instead of the base prelude now - GHC no longer allows type family equality constraints in quantified constraints - which is a bummer - but is avoidable in the one case where it was happening - Explicitly import a constructor from Data.List.NonEmpty Change-Id: Ia06fc724ddc2d6a3f9024c047ed55eea40bcf408 Reviewed-on: https://cl.tvl.fyi/c/depot/+/744 Tested-by: BuildkiteCI Reviewed-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2020-07-03 r/1186 fix(xanthous): re-add comonad-extras depGriffin Smith1-0/+1
Change-Id: Ie148acf179e3aae304410a588c87ee83e04aafa7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/741 Reviewed-by: BuildkiteCI Reviewed-by: Kane York <rikingcoding@gmail.com> Tested-by: BuildkiteCI
2020-07-03 r/1184 chore(xan): Gitignore data directoryGriffin Smith1-0/+1
I'm using this dir to store save files that are particularly interesting, eg bug reproductions etc. Change-Id: Id6a805d85b3ea2e1171ea3af96303f05c2468070 Reviewed-on: https://cl.tvl.fyi/c/depot/+/893 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1183 fix(gs/emacs): Fix jsonnet-mode map invocationGriffin Smith1-2/+4
Only want to map in normal mode Change-Id: I5034af2a4828c61cd46f68451485a8a90cba7085 Reviewed-on: https://cl.tvl.fyi/c/depot/+/892 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1182 feat(gs/system): Add whitby as a binary cacheGriffin Smith1-8/+12
This appears to be working! which is nice. Change-Id: I06f8d2ff4e9b313073cb76c77a8a9bed0cb52516 Reviewed-on: https://cl.tvl.fyi/c/depot/+/887 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-03 r/1181 feat(gs:system): steal tazjin's rebuilder scriptGriffin Smith2-1/+37
gonna use this instead of nixos-rebuild switch, in part to get away from global nixpkgs pins. Change-Id: I46e2951660465790adfdf75e6e3413b5c2dfd7c7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/886 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-02 r/1180 feat(ci-builds): add chupacabraGriffin Smith1-0/+7
My laptop, so I can recompile linux-ck not on my machine Change-Id: Ib42e0440628be6a4d03999220ab2c69b19d6e391 Reviewed-on: https://cl.tvl.fyi/c/depot/+/884 Reviewed-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Tested-by: BuildkiteCI
2020-07-02 r/1179 refactor(gs/chupacabra): Vendor urbint configGriffin Smith3-4/+32
If I want to build this on TVL's CI I can't reference ~/code/urb/urbos, obviously, so I'll just vendor it here which is fine Change-Id: I40feb4b29fafae1d3bb0119b7cca1613a4582fdc Reviewed-on: https://cl.tvl.fyi/c/depot/+/885 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI
2020-07-02 r/1178 feat(gs/system): Configure whitby as a remote builderGriffin Smith1-0/+19
This isn't working, but someday it might Change-Id: Iac20c05b033df3484a7c6908473601bb17c9fcfe Reviewed-on: https://cl.tvl.fyi/c/depot/+/883 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: BuildkiteCI
2020-07-02 r/1177 refactor: Inline nixos-hardware stuffGriffin Smith1-3/+15
As tazjin pointed out, this is little enough code that pulling it from a global channel is a little silly, so I've just inlined everything. Change-Id: I8750f139a3124135a72737c381215a6e812ce0c3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/882 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: BuildkiteCI
2020-07-02 r/1176 refactor(gs/chupacabra): Centralize all configGriffin Smith1-0/+31
I previously had some stuff jammed into a hardware-configuration.nix not committed anywhere, which is silly but also prevented building this config as a top-level derivation, so this vendors them all in there Change-Id: Ia76f1d75dcd44aa3e9d86a66c45176afc0946d12 Reviewed-on: https://cl.tvl.fyi/c/depot/+/881 Reviewed-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-02 r/1175 feat(tazjin): Add SSH key from vauxhallVincent Ambo1-1/+3
Change-Id: Ie897d9e2309f971154ba43e7dce73bb29f4ca9df Reviewed-on: https://cl.tvl.fyi/c/depot/+/858 Reviewed-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Tested-by: BuildkiteCI
2020-07-02 r/1167 feat(users/riking/keys): Add expression with my SSH public keysKane York1-0/+20
Change-Id: I018a5e869e5502fd62f8b8b98b2a61e8fee358ab Reviewed-on: https://cl.tvl.fyi/c/depot/+/854 Reviewed-by: BuildkiteCI Reviewed-by: Kane York <rikingcoding@gmail.com> Tested-by: BuildkiteCI
2020-07-02 r/1165 chore(users/gs): Add SSH public keyGriffin Smith1-0/+4
I generated a new one for whitby, so it's called whitby because that's the only thing I'm going to be using it for. Change-Id: Ie8ebdb1e58c76e447ee3a3ea0b1b244fe000e3e4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/849 Reviewed-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2020-07-02 r/1164 chore(lukegb): add SSH pubkeysLuke Granger-Brown1-0/+9
Change-Id: Ie9fdf3e174ac2e051ec5db6f2bd225804920d3ff Reviewed-on: https://cl.tvl.fyi/c/depot/+/847 Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-02 r/1162 feat(gs/emacs): Set compile-command in nix buffersGriffin Smith2-0/+31
When visiting buffers that represent home-manager or nixos modules, set compile-command to the relevant switch command. Change-Id: I565e092d1e6b97eb7fee9d88211c0ee6ebb30b53 Reviewed-on: https://cl.tvl.fyi/c/depot/+/846 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-02 r/1159 feat(tazjin/keys): Add an expression with my SSH public keysVincent Ambo1-0/+7
Change-Id: I624ce085ff18360bbd390bc570b6be2a416b9a42 Reviewed-on: https://cl.tvl.fyi/c/depot/+/842 Reviewed-by: BuildkiteCI Reviewed-by: isomer <isomer@tvl.fyi> Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-02 r/1156 chore(users/riking/dotfiles): add .mybashrcKane York1-0/+53
Change-Id: Ib33a0a6819b7a3285fe1130657a7b1644a84f493 Reviewed-on: https://cl.tvl.fyi/c/depot/+/837 Reviewed-by: BuildkiteCI Reviewed-by: Kane York <rikingcoding@gmail.com> Tested-by: BuildkiteCI
2020-07-01 r/1154 fix(gs/emacs): Sometimes GH returns PRs without an authorGriffin Smith1-2/+3
I don't know why-- but I don't want it breaking this command. Change-Id: I90c28cd21f3a5bc9f0155a88b50b13434fda4c5d Reviewed-on: https://cl.tvl.fyi/c/depot/+/838 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-01 r/1143 chore(tazjin): Remove nugget system definitionVincent Ambo3-283/+1
This host is deprecated. Change-Id: Ibbf1e300ae8b136bb3ce3669864045e6ea7eff23 Reviewed-on: https://cl.tvl.fyi/c/depot/+/826 Reviewed-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2020-06-30 r/1142 feat(nixos/clbot): Add a module for running clbotVincent Ambo1-1/+23
Change-Id: I9c10906441c3222b74bcc820a67f11d96462fcfa Reviewed-on: https://cl.tvl.fyi/c/depot/+/821 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: BuildkiteCI
2020-06-30 r/1139 feat(gs/emacs): Bind M m to notmuch/composeGriffin Smith1-4/+1
Change-Id: Ic6945b0508134904fbe435ac3049dbb40b8f7d21 Reviewed-on: https://cl.tvl.fyi/c/depot/+/805 Reviewed-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-06-30 r/1137 chore(tazjin/finito): Add build configurationVincent Ambo4-2/+779
Adds a Naersk-based build to check that this compiles, with a Lockfile based on the ~2018 crate versions. Change-Id: I0460a476d3b983fcf71e35e6b480f4a526118b58 Reviewed-on: https://cl.tvl.fyi/c/depot/+/803 Reviewed-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2020-06-30 r/1136 feat(tazjin/finito): Check in my old Rust state-machine libraryVincent Ambo13-0/+1279
I dug through my archives for this and found a version that, while unfortunately not the latest implementation, is close enough to the real thing to show off what Finito did. This is a Postgres-backed state-machine library for complex application logic. I wrote this originally for a work purpose in a previous life, but have always wanted to apply it elsewhere, too. git-subtree-dir: users/tazjin/finito git-subtree-mainline: 0380841eb11f6cb200081295107fadbca928bc06 git-subtree-split: b7481172252d6f00546e94534b05d011b4105843 Change-Id: I0de02d6258568447a14870f1a533812a67127763
2020-06-29 r/1130 chore(ops): Clean up old GCP infrastructure filesVincent Ambo4-0/+67
This removes almost all of the GCP-infrastructure leftovers from my previous setup. The DNS configuration is retained, but moves to my user folder instead. Change-Id: I1867acd379443882f11a3c645846c9902eadd5b0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/782 Tested-by: BuildkiteCI Reviewed-by: eta <eta@theta.eu.org> Reviewed-by: isomer <isomer@tvl.fyi>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-11-05T18·30+0000