From d2d121de14dafc7d7c0e546b3921a3009819b81b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Sat, 11 Apr 2020 20:41:01 +0100
Subject: [PATCH] use USER instead of LOGNAME

it looks like $LOGNAME is not set in our CI?
---
 direnvrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/direnvrc b/direnvrc
index f31c0c3..98ec8a3 100644
--- a/direnvrc
+++ b/direnvrc
@@ -84,7 +84,7 @@ use_nix() {
     local escaped_pwd=${stripped_pwd//-/--}
     local escaped_pwd=${escaped_pwd//\//-}
     ln -fs "$drv" "$drv_link"
-    ln -fs "$drv_link" "/nix/var/nix/gcroots/per-user/$LOGNAME/$escaped_pwd"
+    ln -fs "$drv_link" "/nix/var/nix/gcroots/per-user/$USER/$escaped_pwd"
     log_status renewed cache and derivation link
   fi