I don't think you have to go that far. I think something like https://direnv.net/ https://direnv.net/ should work too. Although, I do agree that having this res

I don't think you have to go that far. I think something like https://direnv.net/ https://direnv.net/ should work too. Although, I do agree that having this restriction in the first place is bizarre.