1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-24 22:11:15 +02:00

Remove $NIX_USER_PROFILE_DIR

This is not used anywhere.
This commit is contained in:
Eelco Dolstra 2019-11-22 16:27:48 +01:00
parent ba87b08f85
commit 1c3ccba0f5
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE
2 changed files with 1 additions and 3 deletions

View file

@ -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