Removing a registry

[Andrew_Gibb]

I experimented with creating my own registry. It didn’t work out, because I can’t access our corporate github accounts using the julia package management tools. Fine. It was an experiment. I’ve removed the registry information from ~/.julia/general/registries. But when I use the Pkg REPL to install or update packages, my abortive registry is still checked. Is there a way I can remove it?

[fredrikekre]

That should be enough. Maybe you still have the registry in another depot?

[Andrew_Gibb]

Maybe. I don’t understand what you mean by depot.

[fredrikekre]

The package manager looks for registries in DEPOT_PATH, more specifically in these directories: joinpath.(DEPOT_PATH, "registries").

[Andrew_Gibb]

I see. I don’t have any registries in any of those locations, aside from the General registry in ~/.julia/… which I already mentioned.

[GunnarFarneback]

@Andrew_Gibb

It didn’t work out, because I can’t access our corporate github accounts using the julia package management tools.

Out of curiosity, what is the roadblock for that?

[Andrew_Gibb]

@GunnarFarneback

Out of curiosity, what is the roadblock for that?

See the discussion here:

Accesing a Registry on Private Github

So, I went digging around in the source for Pkg, and followed things all the way down into the libgit2 C library. At this stage, I couldn’t figure out which calls did what, and ran out of time to investigate further. A bit more detail about the on-network case which is the problem: We use a socks proxy for ssh traffic leaving our network. This is wrapped in a call to netcat, specified in one’s ssh config file. It seems that libgit2, and be extension Pkg, does not look at ssh config by default. …

[Andrew_Gibb]

Does anyone have any other ideas what might be going on here?

[fredrikekre]

Can you post the actual error with a stacktrace?