From 4c4aa8e4136dfbfd6f8c8c0979f1d91236a44346 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Tue, 7 Sep 2021 14:37:53 -0400 Subject: fix(gs/home): Hardcode home directory `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 Reviewed-by: tazjin --- users/grfn/system/home/modules/development/agda.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'users/grfn/system/home/modules/development/agda.nix') diff --git a/users/grfn/system/home/modules/development/agda.nix b/users/grfn/system/home/modules/development/agda.nix index bed05693aa..afd22a306d 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 ''; } -- cgit 1.4.1