about summary refs log tree commit diff
path: root/users/glittershark/system/home/modules/development.nix (follow)
AgeCommit message (Collapse)AuthorFilesLines
2021-04-12 r/2485 refactor(users/glittershark): Rename to grfnGriffin Smith1-190/+0
Rename my //users directory and all places that refer to glittershark to grfn, including nix references and documentation. This may require some extra attention inside of gerrit's database after it lands to allow me to actually push things. Change-Id: I4728b7ec2c60024392c1c1fa6e0d4a59b3e266fa Reviewed-on: https://cl.tvl.fyi/c/depot/+/2933 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: glittershark <grfn@gws.fyi>
2021-04-10 r/2470 refactor: Move nixpkgs attribute to `third_party.nixpkgs`Vincent Ambo1-1/+1
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-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-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-01-29 r/2158 feat(gs/emacs): Only run clj-kondo on clojure filesGriffin Smith1-0/+1
Change-Id: Ia7f18e0514f29e450dfc6a7bbdbc5e47ab7636b5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2460 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-01-13 r/2085 feat(gs/home): Enable git-rerereGriffin Smith1-0/+1
Change-Id: I5a30b554dbda2ba53032bef3ff78b67a4cf95aa4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2359 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-01-13 r/2084 feat(gs/home): Install ngrokGriffin Smith1-0/+1
Change-Id: If4a8d914e110699f87e7459685fc0b620e0f0203 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2358 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2021-01-13 r/2078 chore(3p): Bump NixOS channels to 2021-01-09Vincent Ambo1-1/+0
Your regularly scheduled channel update, but slightly more regular than before. Included fixes: * 3p/emacs: Pick telega.el from stable channel, unstable is broken. * glittershark/fprintd: Compile with gcc9, since build fails with the new default of gcc10 * glittershark/fprintd: Use a global overlay for the fprintd package until https://github.com/NixOS/nixpkgs/pull/108962 lands in nixos-unstable * glittershark/home: Don't install rr, as it's not building with gcc10 Co-Author: Griffin Smith <grfn@gws.fyi> Change-Id: Ia715fef64a405a220049fc540017356fa7370e0b Reviewed-on: https://cl.tvl.fyi/c/depot/+/2341 Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: lukegb <lukegb@tvl.fyi> Tested-by: BuildkiteCI
2021-01-09 r/2065 chore(3p): Bump NixOS channels to 2020-12-28Vincent Ambo1-2/+2
Changes: * ops/nixos/tvl-slapd: The NixOS module for OpenLDAP has removed the ability to configure OpenLDAP directly and now forces users to use some kind of weird Nix->OLC mapping that is mostly undocumented. This moves the config we need to the new format in a way that may or may not work and does the other arbitrary dance steps that someone decided to impose on us. Note that this now throws lots of warnings, but I can't be bothered to fix them. * 3p: Random package removals accomodated * users/glittershark: Pin grfn's kernel to 5.9, because the CK patch is not yet updated for 5.10 * users/glittershark: Update vendor hash for pg-dump-upsert, I suspect this changed because of something in the Go build machinery in nixpkgs. The deleteVendor flag also has no effect anymore and has been removed. * users/glittershark: agda build is broken, commenting out development home-manager environment until it can be fixed * third_party/haskell_overlay: updating random needs upper boundarles of a few dependencies relaxed (curse them) * third_party/gerrit_plugins: for some cursed reason the fixed-output hash of the gerrit owners plugin fetchgit changed, updated. Same for the checks plugin. Change-Id: Ica37995fe8039d3ba80eab643867f98795c56734 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2295 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: tazjin <mail@tazj.in>
2020-12-14 r/2007 refactor(gs/system): Use tokei instead of locGriffin Smith1-1/+1
Change-Id: Id14865dd329df476fb209f586200928beea3e6e0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2251 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-12-14 r/1997 feat(gs/system): Add some rust aliasesGriffin Smith1-2/+0
These take precedence over cabal old-style aliases, since those aren't used anymore Change-Id: Iad1593bffb35d8f7b9c7df16c7c2da09a6ebb906 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2220 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-11-30 r/1964 feat(gs/home): Add rust development toolsGriffin Smith1-0/+1
rustup and rust-analyzer for now, but this will likely also have shell aliases and the like Change-Id: I7838e537a72600410205e018a0c86be1493a9ffe Reviewed-on: https://cl.tvl.fyi/c/depot/+/2207 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-11-26 r/1919 chore(glittershark): Remove everything Urbint relatedGriffin Smith1-1/+0
bye urbint! Change-Id: I87ded275e6e5298e4e29c38775bae47a8fc07bac Reviewed-on: https://cl.tvl.fyi/c/depot/+/2149 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-11-25 r/1917 feat(glittershark): Get everything working on DarwinGriffin Smith1-4/+5
Update everything in home-manager to properly work on darwin (including adding dobharchu as a top-level attribute from //users/glittershark/home) and also fix font faces and sizes in emacs config Change-Id: Ica889dd212876030d5c2a916a71d8b614e6964f1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2147 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-10-05 r/1837 feat(gs/home): Install ghGriffin Smith1-0/+1
Change-Id: I13d918565b9a46b3e5e11936e5b7787e9ecce719 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2022 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-09-09 r/1779 revert(gs/home): "Install clj-kondo and babashka"glittershark1-2/+0
This reverts commit 6489f080997f06b70302f4df7fb1afe0f35656ff. Reason for revert: build of graalvm fails :'( Change-Id: I0fcd173988ab900c837d0040117c3120e29469a1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1942 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-09-09 r/1777 feat(gs/home): Install clj-kondo and babashkaGriffin Smith1-0/+2
These depend on graalvm which is gonna be a big ol build Change-Id: I3b67e22677390921e408b9fea12191718b27cd7f Reviewed-on: https://cl.tvl.fyi/c/depot/+/1967 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-08-28 r/1729 feat(gs/home): Alias grom = git rebase origin/masterGriffin Smith1-1/+2
Change-Id: I8dfc3efc393dd5a3a3ad20cfb84969a8d8805f87 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1865 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-08-06 r/1604 chore(3p): Bump nixpkgs channelsVincent Ambo1-1/+2
Bumps both nixos-unstable and nixos-20.03 to today's versions, as per status.nixos.org Contains minor fixes to things that broke because of the update: * tazjin/frog: hardware.u2f is a deprecated setting * glittershark/system: modSha256 in Go modules is now vendorSha256 * glittershark/owothia: removed version constraint on relude Change-Id: Ib3e9612b1b06ed547b90e4f8b0ffe5ed7fe0a5c4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1642 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-08-02 r/1549 feat(gs/home): Bump alacritty versionGriffin Smith1-5/+7
Bump to alacritty 0.5.0 (which is happening by fetching YANNPP (Yet Another Nixpkgs Pin) because overriding versions of rust packages is not very well supported) and update the relevant home-manager version and pin to get it installed and configured with vi-mode. Change-Id: I4fd96bd0c0611ce76500c33bf0b2c680ee7f44c3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1583 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-15 r/1302 feat(gs/home): Install hyperfineGriffin Smith1-0/+1
Change-Id: Ia29e6c2c73d222496b7315d5a640e055fe908c25 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1178 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-13 r/1290 feat(gs/home): Install C++ development toolsGriffin Smith1-0/+5
Change-Id: I959e257e4c2f7c640bedfe5f8385f33ff02215d4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1136 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-13 r/1282 feat(gs/home): Integrate home-manager with depotGriffin Smith1-3/+3
Essentially the same as for nixos, so I can get whitby to compile stuff for me. Eventually I'll generalize this so things aren't as hardcoded to my particular setup, but for now I'm the only one in the depot who's using home-manager so this should be fine. Change-Id: I1cb0344f5a11eea68bddc98976999c0928dfa84e Reviewed-on: https://cl.tvl.fyi/c/depot/+/937 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
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-06-28 r/1113 feat(gs/home): alias gcc->git checkout canonGriffin Smith1-0/+1
To go along with git checkout master Change-Id: I2a0d09e50cf82368e324e1dfbbd3dc868d30b9f2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/728 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-26 r/1083 refactor(gs/home): Install jsonnet from unstableGriffin Smith1-1/+1
Change-Id: I88b7574b8f415a476b15e21e49ba52e9ade5dd7b Reviewed-on: https://cl.tvl.fyi/c/depot/+/579 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-23 r/1070 feat(users/glittershark): Jsonnet in emacs + systemGriffin Smith1-0/+1
Add jsonnet-mode to emacs, and install jsonnet in the development.nix module in home-manager. Change-Id: I11d6417b6a059de151dbb5407682059e0d5a7d3c Reviewed-on: https://cl.tvl.fyi/c/depot/+/564 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-16 r/975 Add 'users/glittershark/system/' from commit ↵Vincent Ambo1-0/+169
'3b174300ae60f63f50427cde3bfd680fd3043c3a' git-subtree-dir: users/glittershark/system git-subtree-mainline: 85d82a9dc262bffa87423f595f7e957c42713798 git-subtree-split: 3b174300ae60f63f50427cde3bfd680fd3043c3a