Don't complain if HOME isn't writable
This commit is contained in:
parent
fefc0d9917
commit
17f88453f6
|
@ -28,6 +28,7 @@ in
|
||||||
echo "WARNING: bad ownership on $NIX_USER_PROFILE_DIR" >&2
|
echo "WARNING: bad ownership on $NIX_USER_PROFILE_DIR" >&2
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
if test -w $HOME; then
|
||||||
if ! test -L $HOME/.nix-profile; then
|
if ! test -L $HOME/.nix-profile; then
|
||||||
if test "$USER" != root; then
|
if test "$USER" != root; then
|
||||||
ln -s $NIX_USER_PROFILE_DIR/profile $HOME/.nix-profile
|
ln -s $NIX_USER_PROFILE_DIR/profile $HOME/.nix-profile
|
||||||
|
@ -57,6 +58,7 @@ in
|
||||||
ln -s /nix/var/nix/profiles/per-user/root/channels $HOME/.nix-defexpr/channels_root
|
ln -s /nix/var/nix/profiles/per-user/root/channels $HOME/.nix-defexpr/channels_root
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
fi
|
||||||
'';
|
'';
|
||||||
|
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in New Issue