diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-06 10:30:20 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-06 10:30:20 +0000 |
commit | 66e94d3275e9a0a549c28b7d0ad5f3f897e2fbf0 (patch) | |
tree | 630762722ad3a1efcf3620e905e74fea8ded5b99 /scripts/nix-profile.sh.in | |
parent | d445da7a7b3cbb4822bcad3904a36f0d914917d3 (diff) |
* Improvements to profiles. Generations are now per-profile, e.g.,
default -> default-94-link
default-82-link -> /nix/store/cc4480...
default-83-link -> /nix/store/caeec8...
...
default-94-link -> /nix/store/2896ca...
experimental -> experimental-2-link
experimental-1-link -> /nix/store/cc4480...
experimental-2-link -> /nix/store/a3148f...
* `--profile' / `-p' -> `--switch-profile' / `-S'
* `--link' / `-l' -> `--profile' / `-p'
* The default profile is stored in $prefix/var/nix/profiles.
$prefix/var/nix/links is gone. Profiles can be stored anywhere.
* The current profile is now referenced from ~/.nix-profile, not
~/.nix-userenv.
* The roots to the garbage collector now have extension `.gcroot', not
`.id'.
Diffstat (limited to 'scripts/nix-profile.sh.in')
-rw-r--r-- | scripts/nix-profile.sh.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/nix-profile.sh.in b/scripts/nix-profile.sh.in index 55cff3e62..7f19f8014 100644 --- a/scripts/nix-profile.sh.in +++ b/scripts/nix-profile.sh.in @@ -1,9 +1,9 @@ if test -n "$HOME"; then - NIX_LINK="$HOME/.nix-userenv" + NIX_LINK="$HOME/.nix-profile" if ! test -L "$NIX_LINK"; then echo "creating $NIX_LINK" - _NIX_DEF_LINK=@localstatedir@/nix/links/current + _NIX_DEF_LINK=@localstatedir@/nix/profiles/default ln -s "$_NIX_DEF_LINK" "$NIX_LINK" fi |