This is weird. See the terminal output.
I’m under macos with home-manager.
My home-manager’s home is defined under
ztlevi/.config/zsh took 2s ➜ pwd /Users/ztlevi/Users/ztlevi/.config/zsh ztlevi/.config/zsh ➜ ll lrwxr-xr-x 100 ztlevi staff 12 Oct 21:18 extra.zshenv -> /nix/store/7pjlbwcvm5wql7cp4lmla6ccqixd0f6q-home-manager-files/Users/ztlevi/.config/zsh/extra.zshenv lrwxr-xr-x 99 ztlevi staff 12 Oct 21:18 extra.zshrc -> /nix/store/7pjlbwcvm5wql7cp4lmla6ccqixd0f6q-home-manager-files/Users/ztlevi/.config/zsh/extra.zshrc
My home definition is over here dotty-nix/options.nix at f053169c2d87a45757a460b5d2616470d7163f94 · ztlevi/dotty-nix · GitHub