From 1c3ccba0f5e658fa5d593ddef8aaaf6728f945a5 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Fri, 22 Nov 2019 16:27:48 +0100
Subject: Remove $NIX_USER_PROFILE_DIR

This is not used anywhere.
---
 scripts/nix-profile.sh.in | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'scripts/nix-profile.sh.in')

diff --git a/scripts/nix-profile.sh.in b/scripts/nix-profile.sh.in
index e15f7cd46..0768c805a 100644
--- a/scripts/nix-profile.sh.in
+++ b/scripts/nix-profile.sh.in
@@ -5,7 +5,6 @@ if [ -n "$HOME" ] && [ -n "$USER" ]; then
 
     NIX_LINK=$HOME/.nix-profile
 
-    NIX_USER_PROFILE_DIR=@localstatedir@/nix/profiles/per-user/$USER
 
     # Append ~/.nix-defexpr/channels to $NIX_PATH so that <nixpkgs>
     # paths work when the user has fetched the Nixpkgs channel.
@@ -35,5 +34,5 @@ if [ -n "$HOME" ] && [ -n "$USER" ]; then
     fi
 
     export PATH="$NIX_LINK/bin:$PATH"
-    unset NIX_LINK NIX_USER_PROFILE_DIR
+    unset NIX_LINK
 fi
-- 
cgit v1.2.3