Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

do not use system switch by default #3509

Open
c-cube opened this issue Aug 16, 2018 · 4 comments · May be fixed by #6307
Open

do not use system switch by default #3509

c-cube opened this issue Aug 16, 2018 · 4 comments · May be fixed by #6307
Milestone

Comments

@c-cube
Copy link
Contributor

c-cube commented Aug 16, 2018

Sorry to start a discussion about that when y'all are busy with opam2. I think the "system" switch is the number 1 source of issues for beginners that try to use opam and come ask for help on #ocaml @ freenode; my advice is almost always to use a non-system switch and it fixes their issue. Therefore I think opam shouldn't use the system switch at all unless explicitly asked so.

@dra27
Copy link
Member

dra27 commented Aug 17, 2018

There are various ideas in the pipeline for dealing with this once opam 2.0.0 is out of the door. In short, I think it's better to fix the (totally real and confusing) problems with system switches, rather than move towards stopping using them.

@AltGr
Copy link
Member

AltGr commented Aug 17, 2018

Note that, on opam 2, the automatic switch selection is entirely defined by a customisable formula. So it would be a one-line change to enable/disable selecting system switches by default.

@Drup
Copy link
Contributor

Drup commented Aug 17, 2018

Is there really a point in system switches now ? They cause so many issues and confusion and provide a really bad first impression to new users.

If the only point of system switches is to avoid recompilation, maybe efforts toward making them not suck would be better spend on having compilation cache in a usable state.

@kit-ty-kate
Copy link
Member

I opened #6307 to change this default

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

5 participants