about summary refs log tree commit diff
path: root/users/grfn/system/home/modules/development/agda.nix
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2021-09-07T18·37-0400
committergrfn <grfn@gws.fyi>2021-09-07T18·57+0000
commit4c4aa8e4136dfbfd6f8c8c0979f1d91236a44346 (patch)
tree8077da298386ee8319397b20eaef24973706b80d /users/grfn/system/home/modules/development/agda.nix
parentc414ae6e314c582b2e83adde2eba07f74da8b6ea (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.nix4
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
   '';
 
 }