David Anthoff
David Anthoff
Agreed. I think the way to add this is something like `juliaup api getchannellist1` for example.
I think what is happening here is that when you run `sudo julia`, the launcher is run as the `root` user. It will then try to find the Juliaup config...
Ok, so (I think) that is what it is doing right now. So essentially the story here is that if you install Juliaup as non root, and then run `sudo...
Well, Juliaup performs an install into a specific user profile. If the idea of `sudo` is that the next command is entirely run in the context of a different user...
> It found the correct default environment (from my home directory). So, it used the home directory not of `root`, but of the user that launched `sudo`, right? I understood...
Yes, I like that idea! I'm surprised that it works at all for some cases ;) But it would make sense to enable it broadly. I think for the remote...
I do understand why the remote stuff works, that is due to a really, really good architecture on the VS Code side of things :) What I don't understand is...
Eventually yes, but right now I have too many other urgent bugs that I need to fix, and I don't want to add another risk factor right now (we tried...
Hm, ok, this is interesting, but I also think this is too magical and probably out of scope for Juliaup... I think at the end of the day what this...
Yeah, I could definitely imagine a world where there are lots of other things to configure with `juliaup configure`. But also wondering whether `juliaup` is the right entry point, or...