From 4c4aa8e4136dfbfd6f8c8c0979f1d91236a44346 Mon Sep 17 00:00:00 2001
From: Griffin Smith <grfn@gws.fyi>
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 <grfn@gws.fyi>
Reviewed-by: tazjin <mail@tazj.in>
---
 users/grfn/system/home/modules/alsi.nix             | 16 ++++++++--------
 users/grfn/system/home/modules/development/agda.nix |  4 ++--
 2 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'users/grfn/system')

diff --git a/users/grfn/system/home/modules/alsi.nix b/users/grfn/system/home/modules/alsi.nix
index cf8b0bebe743..c4a14e683c39 100644
--- a/users/grfn/system/home/modules/alsi.nix
+++ b/users/grfn/system/home/modules/alsi.nix
@@ -14,16 +14,16 @@
 
     scalar {
       ALSI_VERSION         => "0.4.8",
-      COLORS_FILE          => "/${config.home.homeDirectory}/.config/alsi/alsi.colors",
-      DE_FILE              => "/${config.home.homeDirectory}/.config/alsi/alsi.de",
+      COLORS_FILE          => "/home/grfn/.config/alsi/alsi.colors",
+      DE_FILE              => "/home/grfn/.config/alsi/alsi.de",
       DEFAULT_COLOR_BOLD   => "blue",
       DEFAULT_COLOR_NORMAL => "blue",
       DF_COMMAND           => "df -Th -x sys -x tmpfs -x devtmpfs &>/dev/stdout",
-      GTK2_RC_FILE         => "/${config.home.homeDirectory}/.gtkrc-2.0",
-      GTK3_RC_FILE         => "/${config.home.homeDirectory}/.config/gtk-3.0/settings.ini",
-      LOGO_FILE            => "/${config.home.homeDirectory}/.config/alsi/alsi.logo",
-      OUTPUT_FILE          => "/${config.home.homeDirectory}/.config/alsi/alsi.output",
-      # PACKAGES_PATH        => "/var/lib/pacman/local/",
+      GTK2_RC_FILE         => "/home/grfn/.gtkrc-2.0",
+      GTK3_RC_FILE         => "/home/grfn/.config/gtk-3.0/settings.ini",
+      LOGO_FILE            => "/home/grfn/.config/alsi/alsi.logo",
+      OUTPUT_FILE          => "/home/grfn/.config/alsi/alsi.output",
+      # PACKAGES_PATH      => "/var/lib/pacman/local/",
       PS_COMMAND           => "ps -A",
       USAGE_COLORS         => 0,
       USAGE_COLORS_BOLD    => 0,
@@ -32,7 +32,7 @@
       USAGE_PRECENT_YELLOW => 85,
       USE_LOGO_FROM_FILE   => 1,
       USE_VALUES_COLOR     => 0,
-      WM_FILE              => "/${config.home.homeDirectory}/.config/alsi/alsi.wm",
+      WM_FILE              => "/home/grfn/.config/alsi/alsi.wm",
     }
     '';
   };
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
   '';
 
 }
-- 
cgit 1.4.1