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

Add optionalExtensions attribute to better handle missing nightly extensions #242

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

evanjs
Copy link

@evanjs evanjs commented Sep 26, 2020

Motivation for this change

Add several functions to aid in the resolution of potentially missing nightly extensions

  • Add optionalExtensions attribute
  • Add getOptionalExtensions function
  • Add getOptionalAndRequiredExtensions function

I wrote these up a while ago as a potential solution to #108 as mentioned here.

It's been a while since I looked at this, but I wanted to open this in order to gather feedback on potential solutions to this issue, be it work to get this PR working with what's currently in tree, or a different approach altogether.

I would love to see some of the features in rustup make their way here, but am uncertain of the best approach.

I have noted several options in the rust module in my configuration, but am curious what others think.

I think there are several questions need to be answered in order to resolve this.
However, I want to first verify whether this is something that should even be handled by this repository.

At the very least, it might be beneficial to provide such an option as an alternative resolution method for nightly extensions for those that wish to opt in to such behavior.

Add optionalExtensions attribute
Add getOptionalExtensions function
Add getOptionalAndRequiredExtensions function
@evanjs
Copy link
Author

evanjs commented Jun 11, 2021

Recently discovered the Oxalica overlay which seems to implement at least one of the aforementioned approaches (latest nightly with specified extensions) as mentioned here.

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 this pull request may close these issues.

None yet

1 participant