I still haven’t worked out how to actually set the variable in the Linux environment and have it get picked up by the shell though
Tried setting it in .bashrc and /etc/environment
It doesn’t really matter, but it would feel neater than using the #Powershell $Profile