about summary refs log tree commit diff
path: root/users/grfn/system/home/modules/development/agda.nix (follow)
AgeCommit message (Collapse)AuthorFilesLines
2021-09-07 r/2823 fix(gs/home): Hardcode home directoryGriffin Smith1-2/+2
`config.home.homeDirectory` is never set, meaning that when this builds in CI it just uses the $HOME of the buildkite agent that's running, causing it to almost always rebuild on new changes - I'm never going to have a username on a system other than `grfn`, so this is fine to just hardcode. Change-Id: I920a0c546f4c06d0429534d116465e8f732218e7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3495 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <mail@tazj.in>
2021-04-12 r/2485 refactor(users/glittershark): Rename to grfnGriffin Smith1-0/+58
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>