You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Due to our IT setup my home directory is /home_local/timo instead of /home/timo but if I try to install home-manager it throws Error: HOME is set to "/home_local/timo" but we expect "/home/timo".
Would be nice to be able so use a different $HOME than the default expected one as this is the reason to even have a variable called $HOME
The text was updated successfully, but these errors were encountered:
Due to our IT setup my home directory is
/home_local/timo
instead of/home/timo
but if I try to install home-manager it throwsError: HOME is set to "/home_local/timo" but we expect "/home/timo"
.Would be nice to be able so use a different
$HOME
than the default expected one as this is the reason to even have a variable called$HOME
The text was updated successfully, but these errors were encountered: