[ygra]

It's not supposed to go into the PowerShell $profile; .bash_profile which later starts pwsh should be fine.