about summary refs log tree commit diff
path: root/users/glittershark
AgeCommit message (Collapse)AuthorFilesLines
2021-04-10 r/2470 refactor: Move nixpkgs attribute to `third_party.nixpkgs`Vincent Ambo9-32/+32
Please read b/108 to make sense of this. This gets rid of the explicit list of exposed packages from nixpkgs, and instead makes the entire package set available at `third_party.nixpkgs`. To accommodate this, a LOT of things have to be very slightly shuffled around. Some of this was done in already submitted CLs, but this change is unfortunately still quite noisy. Pay extra attention to: * overlay-like functionality that was partially moved to actual overlays (partially as in, the minimum required to get a green build) * modified uses of the package set path, esp. in NixOS systems Special notes: * xanthous has been disabled in CI because of issues with the Haskell overlay * //third_party/nix has been disabled because of other unclear dependency issues Both of these will be tackled in a followup CL. Change-Id: I2f9c60a4d275fdb5209264be0addfd7e06c53118 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2910 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-04-07 r/2455 feat(gs/yeren): Add KolideGriffin Smith3-0/+50
Add kolide, the endpoint monitoring system / MDM we're using at work, to the system derivation for my work computer. I hate MDMs almost universally, and this one is no different, but SOC2 waits for no one. Change-Id: I99bcb5341182a81512699d50b279efd9e1b2194b Reviewed-on: https://cl.tvl.fyi/c/depot/+/2903 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-04-03 r/2414 feat(gs/home): Set up lieer for work emailGriffin Smith1-5/+14
Change-Id: I49d6c8450b87cc876e93cba150327b5612eeebc3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2801 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-04-02 r/2408 refactor(glittershark/machines): switch to depot module argLuke Granger-Brown2-5/+5
Previously the tvl depot attrset was provided as the config.depot argument, but to make NixOS modules look more like the rest of the depot this is being switched to being provided as the "depot" argument instead. Change-Id: I7e011fe5c44ac3e4142177afd168f1bbc602d56f Reviewed-on: https://cl.tvl.fyi/c/depot/+/2764 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-04-02 r/2405 refactor(users/glittershark/system): switch to ops.nixos.nixosForLuke Granger-Brown1-26/+14
ops.nixos.nixosFor is intended to provide the "basic" readTree-like system arguments to NixOS systems; in particular, it provides "depot" as a module argument, as well as, for the moment, config.depot. Change-Id: I442c7d79ac0eb2ff8e1bf606f4e083e15eb0a8f4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2761 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-04-01 r/2387 feat(gs/mugwump): Switch to cloudflare as lego providerGriffin Smith1-3/+4
Change-Id: Iba48c8ac8c45075ecb9741572bca9cea4f8b0f9d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2748 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-04-01 r/2386 feat(gs/mugwump): Set up ddclientGriffin Smith1-0/+26
The way this loads the api key is a hack, but also... I don't care! Change-Id: I4d417b1a824007620661188b60b21a1f73867dca Reviewed-on: https://cl.tvl.fyi/c/depot/+/2747 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-30 r/2366 feat(gs/emacs): Add terraform configGriffin Smith3-0/+36
Change-Id: I9266ed310024a2a9437ea983dfdf27b8a395c924 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2707 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2364 fix(gws.fyi): Make CSS mobile-friendlyGriffin Smith1-1/+12
Don't apply the left-margin if the viewport is too narrow too handle it Change-Id: Ia15641a6f0c94f9b0582f4a48af00b935f3e66bc Reviewed-on: https://cl.tvl.fyi/c/depot/+/2703 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2363 feat(gs/mugwump): Add blackbox prometheus exportersGriffin Smith1-0/+40
Add blackbox prometheus exporters to Mugwump with config for scraping gws.fyi, windtunnel.ci, and app.windtunnel.ci Change-Id: Ied9e329d44b506763b600e4978f65a5a3abcf5df Reviewed-on: https://cl.tvl.fyi/c/depot/+/2702 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2362 feat(gs/home): Install prettierGriffin Smith1-1/+2
Change-Id: I0a416ef919859b7516861de7fb575616f5479d26 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2701 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2361 feat(gws.fyi): Make website build easier to testGriffin Smith2-2/+5
Expose website as a top-level attribute, and ignore index.html, both to make test-deving the site easier Change-Id: Ic056446e322ec5f69583d316998103883fc8d55b Reviewed-on: https://cl.tvl.fyi/c/depot/+/2700 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2360 fix(gws.fyi): Explicitly specify personal profile to AWSGriffin Smith2-2/+3
Explicitly pass --profile personal to AWS commands, to avoid deploying this to the wrong aws account on accident Change-Id: Iff8236967adcfdedfbace8930031db9adf60e3d1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2699 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2359 feat(gws.fyi): Link to some of my projectsGriffin Smith1-3/+18
Also start to put things under headings, since we have CSS to make that look decent now Change-Id: I9ad8c5f5bf32360bcae48fb28e390391fcec0a88 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2698 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2358 feat(gws.fyi): Add some very light CSSGriffin Smith3-1/+131
web-brutalism is so 3 years ago, bro but seriously, I'd like to start putting some actual stuff here, so let's make it look halfway-decent. Change-Id: Ic78d725b3755c2307c7ea155af8d0f90e287830c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2697 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-29 r/2357 refactor(gs/home): Move rebuild-mugwump script to all machinesGriffin Smith2-10/+10
Chupacabra doesn't even exist anymore, plus I want this installed on all home systems Change-Id: Id0e5c89797b1ad52b2a24d60ad3ab5e125f60266 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2696 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-28 r/2356 feat(achilles): Implement a Unit typeGriffin Smith16-88/+447
Add support for a zero-sized Unit type. This requires some special at the codegen level because LLVM (unsurprisingly) only allows Void types in function return position - to make that a little easier to handle there's a new pass that strips any unit-only expressions and pulls unit-only function arguments up to new `let` bindings, so we never have to actually pass around unit values. Change-Id: I0fc18a516821f2d69172c42a6a5d246b23471e38 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2695 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2344 feat(gs/home): Update discord to 0.0.14Griffin Smith1-2/+2
Change-Id: I115ffcf22f7a3bdbc2641d4a9f7858fd0e049248 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2681 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2339 fix(gs/home): Set dunst max icon size to 45Griffin Smith1-0/+1
Notifications with images appear to be working now, which is cool, but they're also *really* large, especially for spotify album art - let's pull that down a bit. Change-Id: I825798cccb54ebafd3facc08f3d6f0f4a42cf010 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2666 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2338 feat(gs/yeren): Install digimend device driversGriffin Smith1-1/+4
Change-Id: Ib8d589bd2110eb23d26a789a9f069f80815dadf3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2665 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2337 feat(gs/yeren): Enable tailscaleGriffin Smith1-0/+2
Change-Id: Ibe48761b3161b1dfa6989dd25ec25593b7fe98ec Reviewed-on: https://cl.tvl.fyi/c/depot/+/2664 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-26 r/2333 chore(3p): use haskell-language-server from nixpkgssterni2-3/+2
Upstream haskellPackages has a newer haskell-language-server than we had and it is always in sync with the default GHC version of that package set which we incidentally use to build all haskell derivations in depot. I hope this will not cause us more trouble in the future, but I've gotten the impression that maralorn makes an effort to prevent haskell-language-server from being broken in haskellPackages, so ideally we'll never have to worry about hls again. If we do have to, we may need to switch to easy-hls-nix. Note that I haven't had the time yet to verify that the shells actually work since it's kinda late now and the rebuilds are many. Change-Id: I74c192d57355904cfa45bb76d70346792ba05af5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2662 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-26 r/2331 chore(users/gs/owothia): remove unnecessary overrides, simplifysterni4-39/+18
* chatter and its dependencies have been fixed in upstream haskellPackages, so we can get rid of the packageSet.nix expression: https://github.com/NixOS/nixpkgs/pull/116803 * Merged default.nix and pkg.nix into one expression and use callCabal2nix instead of emulating it with nested imports. * Minor refactor of shell.nix and remove haskell-language-server until we've redone it or replaced it with the upstream one as now the GHC versions are out of sync: hls is built with 8.8.4, but haskellPackages uses 8.10.4 Change-Id: Ie75eaa93ba8bd79e749e2442fb28c855b8a15a1d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2661 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-26 r/2330 chore(3p): bump NixOS channels to 2021-03-25sterni2-2/+2
OpenSSL released an update which fixes two severity high security issues: * https://mta.openssl.org/pipermail/openssl-announce/2021-March/000197.html * https://mta.openssl.org/pipermail/openssl-announce/2021-March/000198.html Update to the nixpkgs (currently still master) commits updating OpenSSL. Other changes: * Use GHC 8.8.4 for haskell-language-server as GHC 8.8.3 got removed from nixpkgs last friday. Change-Id: Ic1b2f49284e78193a4330da4bb4b718a797f5ab1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2653 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-21 r/2302 fix(gs/emacs): Drop explicit load of slackGriffin Smith1-2/+0
This is getting loaded by use-package now Change-Id: I591629ed26ffac71a0df04d51c10b9290ebd76ff Reviewed-on: https://cl.tvl.fyi/c/depot/+/2428 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-20 r/2296 feat(gs/achilles): Implement very basic monomorphizationGriffin Smith12-19/+430
Implement very basic monomorphization, by recording type variable instantiations when typechecking Call nodes and then using those in a new hir Visitor trait to copy the body of any generic decls for each possible set of instantiation of the type variables. Change-Id: Iab54030973e5d66e2b8bcd074b4cb6c001a90123 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2617 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-03-20 r/2295 fix(gs/achilles): Get rid of universalization stepGriffin Smith2-30/+67
The step of "universalizing" function expressions was conflicting with top-level ascriptions for polymorphic function declarations: universalization generates universal type variables, and top-level polymorphic ascription *also* generates universal type variables, and the two were conflicting with each other when unifying. Let's just get rid of this now, and we can bring it back in a more principled manner once we do actual let-generalization (which there's still an ignored test case for) Change-Id: Idc08c8cb5ac92d1e6e1e63c9b8729176cab73f44 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2616 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-20 r/2294 feat(gs/achilles): Prefix top-level ascriptions with `ty`Griffin Smith2-2/+11
This makes parsing less ambiguous, which is nice (we can continue to not actually care about indentation!) and aligns nicely with `fn` for the declaration itself. Change-Id: Id48f064e2a1e01c5105297be355d0991b312b76d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2615 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-20 r/2293 feat(gs/achilles): Implement extern decls, for glibc functionsGriffin Smith9-28/+147
Implement extern decls, which codegen to LLVM as forward-declared functions, and use these as a hook into calling glibc functions. We can print to the terminal now! The integration tests can test this now. Change-Id: I70af4546b417b888ad9fbb18798db240f77f4e71 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2614 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-20 r/2292 feat(gs/achilles): Codegen string literalsGriffin Smith1-1/+5
Codegen string literals to LLVM as (for now) global C string pointers Change-Id: I6dcd7fa25a7806a2f708a8e9275c9a01174fd0cf Reviewed-on: https://cl.tvl.fyi/c/depot/+/2613 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-20 r/2291 chore(gs/achilles): Integrate with the depot buildGriffin Smith4-10/+31
Get achilles building in Nix as part of the depot's build tree. This involved making it work with stable rust, since the depot only exposes stable rust to sub-packages, which turned out to be fairly straightforward. Also adds libffi as a new top-level expose, since it's required to build achilles Change-Id: I5f6dedb26c0b81ec258aedde1973e74903c07ece Reviewed-on: https://cl.tvl.fyi/c/depot/+/2612 Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-03-19 r/2289 fix(gs/xanthous): update xanthous.cabal, make CI catch such errorssterni2-7/+124
Since xanthous has a checked-in package.yaml and cabal file, the haskellPackages build infrastructure will use the package.yaml file for all builds. The resulting problem is that our CI won't actually catch build failures that would be observable with cabal or when building from the sdist. We fix that by filtering out the package.yaml file in pkg.nix additionally to the filters specified in .gitignore. For this we need gitignoreFilter from gitignore.nix which we expose as part of a functor set from third_party.gitignoreSource to maintain interface compatibility. Change-Id: I337185f484d2027341f38031dcd78898706904eb Reviewed-on: https://cl.tvl.fyi/c/depot/+/2609 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: tazjin <mail@tazj.in>
2021-03-19 r/2288 chore(gs/xanthous): fix for hgeometry 0.12.0.1sterni1-1/+1
The breaking removal of triangulationEdges was not that big of a deal after all: It was just renamed to edgesAsPoints apparently, so the fix is easy enough and we can save one override. hgeometry-combinatorial's doctests seem to trigger some kind of GHC dynamic linking bug (https://github.com/noinia/hgeometry/issues/132) so we disable the tests. Change-Id: Iba2a64cade4d1a55fa4b81846e1116f282d4590a Reviewed-on: https://cl.tvl.fyi/c/depot/+/2608 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-19 r/2286 fix(gs/xanthous): fix build failures caused by dependency updatessterni6-11/+24
The following changes in dependencies of xanthous broke the build and have been fixed in this CL. Thus we can reenable CI for xanthous. * random 1.2.0 removed the Read instance for StdGen, so we need use System.Random.Internal to un-newtype StdGen into an SMGen in the appropriate places as that type still has a Show and Read instance. Requires a new direct dependency on splitmix as well. * witherable 4.0 renamed Data.Witherable into Witherable and no longer exports Filter. * random 1.2.0 probably also broke the Function instance for GameState which contains a StdGen. I'm not exactly sure which change exactly triggered this, but the fix is easy enough: We implement a Function instance for SMGen using functionShow allowing us to write a Function instance for StdGen using functionMap. I've put these instances into Xanthous.Orphans. * hgeometry 0.12.0.0 removes the triangulationEdges function (which is also not mentioned in the changelog, so I'm not sure if there's a replacement yet). Fix by pinning to 0.11.0.0 for now. * hedgehog-classes: relax bounds on semirings Change-Id: I3617d8916d753b386c9fa80062be6bcbdfee0131 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2607 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-19 r/2285 chore(3p/haskell_overlay): remove obsolete overridessterni1-0/+2
I actually wanted to check up on regex-tdfa-text in owothia, but realized it was actually in a dependency. When porting the patch for chatter to nixpkgs, I wondered if we could get rid of other overrides or if we need to fix anything else in upstream. * aeson, attoparsec, cassava, psqueues, hedgehog: jailbreaks are no longer necessary * fgl, fgl-arbitrary: upstream has the versions pinned by now * hgeometry, hgeometry-combinatoral: upstream has moved past the pinned versions, but we don't need to keep them downgraded as xanthous's build is not broken by them. * random-source: the upstream compiler shouldn't crash anymore, additionally upstream has the version pinned here currently * semialign: upstream also has 1.1.0.1 by now * splitmix: splitmix has been fixed upstream and haskellPackages has moved past 0.1 * hspec-core: test suite passes or upstream has disabled it as well * QuickCheck: upstream advanced to the same version * vinyl: upstream moved past the pinned version, causes no build failures * comonad-extras: has been fixed upstream Change-Id: I34eff81ceaac005f2ad90dd9c1d3e623b8da91c0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2606 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-03-15 r/2279 merge(glittershark/achilles): Subtree import at 'b93268085a'Vincent Ambo33-0/+4508
Imported from https://github.com/glittershark/achilles/ git-subtree-dir: users/glittershark/achilles git-subtree-mainline: 4d193f239525954631ba9d789ca3aea9a2f4e14d git-subtree-split: b93268085aab14c80a400c299da5d04d2781098e Change-Id: I64a583b454bbe03e20358ad7808939a4cbc212ba
2021-02-24 r/2232 feat(gs/system): Add config for laptop batteryGriffin Smith4-4/+17
hibernate on low battery, and when the power button is pressed Change-Id: I6560fc770ee5707e59fb2763614de2b8000e156e Reviewed-on: https://cl.tvl.fyi/c/depot/+/2550 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-02-24 r/2231 feat(gs/home): Alias cch=cargo checkGriffin Smith1-0/+1
Change-Id: I4b0ef2f5996b6cf34724a0ed6b1c8081baa4d929 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2549 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-02-24 r/2230 feat(gs/home): Install juliaGriffin Smith1-0/+1
Change-Id: I66820d3209f0ef6120f2946acc2063cfd638512f Reviewed-on: https://cl.tvl.fyi/c/depot/+/2548 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-02-24 r/2229 feat(gs/system): Install mypaint and xdotGriffin Smith1-0/+2
Change-Id: I4153911c4ef701c10106fddd5f3bef2263aac5c3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2547 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-02-24 r/2228 fix(gs/emacs): drop spellcheckerGriffin Smith1-1/+1
Change-Id: I841b7407f80d5096a32ee9019c1e02d26c015fc0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2546 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-02-24 r/2227 feat(gs/emacs): Add some more w3m bindingsGriffin Smith1-4/+5
Change-Id: I764b810245b2ec0bb1b76f6641b9baf2fab08be6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2545 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-02-19 r/2221 chore(3p): Bump NixOS channels to 2021-02-18sterni1-2/+2
Main motivation for this is to get the openldap update that fixes 10 CVEs: CVE-2020-36221 to including CVE-2020-36230. See also this issue which lists them all: https://github.com/NixOS/nixpkgs/issues/113490 Someone should also redeploy whitby as soon as this lands in canon and all build failures have been fixed. Things done to resolve upstream breakages: * grpc no longer takes abseil-cpp as an input, it has also been removed in the override. * Upgrade glittershark's kernel to 5.11 since the linuxPackages_5_9 attribute has been removed by upstream and the patch used by them is available for 5.11 as well. * The fixed output hash for third_patry.apereo-cas changed for some reason. * Remove the pin of haskellPackages.vector from the haskell overlay. It broke as the most recent version of vector in nixos-unstable no longer depends on semigroups. This effectively updates vector from 0.12.1.2 to 0.12.2.0. * Align two comments in tvix/libstore/worker-protocol.hh because the updated clang-format now demands that. Change-Id: I2ecf10a98de935e9222acf1feaea447d4c11ed2d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2538 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-01-29 r/2158 feat(gs/emacs): Only run clj-kondo on clojure filesGriffin Smith2-1/+6
Change-Id: Ia7f18e0514f29e450dfc6a7bbdbc5e47ab7636b5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2460 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-01-29 r/2157 fix(gs/emacs): Don't try to load agda-modeGriffin Smith1-2/+2
It's not installed because it's broken right now Change-Id: I1bf198788fb90aabe3ba1a7b65399c3579983704 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2459 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-01-29 r/2156 feat(gs/emacs): Add a proptest snippetGriffin Smith1-0/+10
Change-Id: If1e0a206a19101928375cec230629de066f9326e Reviewed-on: https://cl.tvl.fyi/c/depot/+/2429 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-01-29 r/2155 feat(gs/emacs): Fix highlighting on line-number-current-lineGriffin Smith1-0/+1
This appears to be getting overridden by a package somewhere now Change-Id: I4f0776b5ae65e5cfa936e3636ce1bb5e2c85790a Reviewed-on: https://cl.tvl.fyi/c/depot/+/2427 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-01-29 r/2154 feat(gs/emacs): Add < to evil-surround-pairs in rust-modeGriffin Smith1-0/+1
In addition to > Change-Id: I3b42d396e9eb3c4f6dcdf8ab2b804804100a103c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2426 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-01-29 r/2153 fix(gs/system): Don't try to set hard fd limitGriffin Smith1-6/+0
This gives a permission denied error when I try to log in Change-Id: Ibb9a66bb0ccec5fdf6839dd38ffd7e0a782687d6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2425 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-01-13 r/2091 feat(gs/emacs): Add gpg encrypted +private.elGriffin Smith1-0/+0
This has auth tokens etc. Change-Id: I0877744de38d31f2dfe402ab009f31a22467c3b4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2365 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI