Use $HOME instead of $USER

$USER/.nix-profile will not be a path. I think $HOME/.nix-profile was
the origininal intent.

/cc @Grahamc
This commit is contained in:
Matthew Bauer 2019-07-25 09:43:24 -04:00
parent b640f69a4d
commit 03addc3b0a
1 changed files with 1 additions and 1 deletions

View File

@ -34,7 +34,7 @@ cleanup() {
sudo rm -rf /etc/nix \
/nix \
/var/root/.nix-profile /var/root/.nix-defexpr /var/root/.nix-channels \
"$USER/.nix-profile" "$USER/.nix-defexpr" "$USER/.nix-channels"
"$HOME/.nix-profile" "$HOME/.nix-defexpr" "$HOME/.nix-channels"
}
verify() {