Function migrateSingleDotnetPathValue

src/shared/migrateOptions.ts:191–220

(
    oldOptionName: string,
    oldValue: string,
    newOptionName: string,
    currentNewValue: IDotnetAcquisitionExistingPaths[] | undefined,
    configuration: WorkspaceConfiguration,
    configurationTarget: ConfigurationTarget
)

}

async function migrateSingleDotnetPathValue(
    oldOptionName: string,
    oldValue: string,
    newOptionName: string,
    currentNewValue: IDotnetAcquisitionExistingPaths[] | undefined,
    configuration: WorkspaceConfiguration,
    configurationTarget: ConfigurationTarget
): Promise<void> {
    // Migrate to .NET install tool specific option.
    // This requires some adjustments as the .NET install tool expects the full path to the exe and can already have a value set (e.g. a diff extension).
    const extension = process.platform === 'win32' ? '.exe' : '';
    const newValue = path.join(oldValue, `dotnet${extension}`);

    if (!fs.existsSync(newValue)) {
        // If the existing option points to a location that doesn't exist, we'll just remove the old value.
        configuration.update(oldOptionName, undefined, configurationTarget);
        return;
    }

    currentNewValue = currentNewValue ?? [];
    if (currentNewValue && currentNewValue.filter((p) => p.extensionId === CSharpExtensionId).length !== 0) {
        // There's already a dotnet path set for this extension, we don't want to overwrite it.  Just delete the old one.
        await configuration.update(oldOptionName, undefined, configurationTarget);
        return;
    }

    currentNewValue.push({ extensionId: CSharpExtensionId, path: newValue });
    await configuration.update(newOptionName, currentNewValue, configurationTarget);
    await configuration.update(oldOptionName, undefined, configurationTarget);
}

function shouldMove(newOptionValue: unknown, defaultInspectValueOfNewOption: unknown): boolean {
    if (newOptionValue == defaultInspectValueOfNewOption) {