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

Delete dotnet.dotnetPath option and migrate to replacement #7825

Merged
merged 2 commits into from
Nov 26, 2024

Conversation

dibarbet
Copy link
Member

@dibarbet dibarbet commented Nov 25, 2024

This removes the dotnet.dotnetPath option and adds support for migrating it to the replacement setting (defined by the .NET install tool).

Resolves C# side of microsoft/vscode-dotnettools#1243

Prior to this change, both dotnet.dotnetPath and the .NET Install Tool's dotnetAcquisitionExtension.existingDotnetPath setting both could influence the runtime that the server used. It is unnecessary to support both of these options at this point, and only causes needless confusion.

Here we delete dotnet.dotnetPath and migrate existing values to dotnetAcquisitionExtension.existingDotnetPath. This should be unnoticeable in terms of behavior. The migration is slightly more complicated than other settings as dotnet.dotnetPath required a folder containing the dotnet executable whereas the .NET install tool setting requires the actual executable path.

OmniSharp as not yet fully migrated over to the .NET install tool for .NET discovery, so O# users of dotnet.dotnetPath will be migrated to omnisharp.dotnetPath.

@dibarbet dibarbet requested a review from a team as a code owner November 25, 2024 23:26
@dibarbet dibarbet force-pushed the migrate_dotnet_path branch from 26e5c51 to 320d55c Compare November 26, 2024 01:52
.devcontainer/devcontainer.json Outdated Show resolved Hide resolved
src/utils/dotnetDevCertsHttps.ts Outdated Show resolved Hide resolved
@dibarbet dibarbet force-pushed the migrate_dotnet_path branch from 320d55c to d19c949 Compare November 26, 2024 19:20
@dibarbet dibarbet force-pushed the migrate_dotnet_path branch from d19c949 to 98e9ba1 Compare November 26, 2024 19:21
@dibarbet dibarbet merged commit ab7e380 into dotnet:main Nov 26, 2024
16 checks passed
@dibarbet dibarbet deleted the migrate_dotnet_path branch November 26, 2024 21:45
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.

2 participants