diff options
| author | Griffin Smith <grfn@gws.fyi> | 2021-09-07T18·37-0400 |
|---|---|---|
| committer | grfn <grfn@gws.fyi> | 2021-09-07T18·57+0000 |
| commit | 4c4aa8e4136dfbfd6f8c8c0979f1d91236a44346 (patch) | |
| tree | 8077da298386ee8319397b20eaef24973706b80d /users/grfn/system/home/modules/development/agda.nix | |
| parent | c414ae6e314c582b2e83adde2eba07f74da8b6ea (diff) | |
fix(gs/home): Hardcode home directory r/2823
`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>
Diffstat (limited to 'users/grfn/system/home/modules/development/agda.nix')
| -rw-r--r-- | users/grfn/system/home/modules/development/agda.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/users/grfn/system/home/modules/development/agda.nix b/users/grfn/system/home/modules/development/agda.nix index bed05693aa40..afd22a306dc9 100644 --- a/users/grfn/system/home/modules/development/agda.nix +++ b/users/grfn/system/home/modules/development/agda.nix @@ -51,8 +51,8 @@ in ''; home.file.".agda/libraries".text = '' - ${config.home.homeDirectory}/code/agda-stdlib/standard-library.agda-lib - ${config.home.homeDirectory}/code/agda-categories/agda-categories.agda-lib + /home/grfn/code/agda-stdlib/standard-library.agda-lib + /home/grfn/code/agda-categories/agda-categories.agda-lib ''; } |