/// <summary>
/// Selects the given interpreter as the default.
/// </summary>
/// <remarks>
/// This method should always be called as a using block.
/// </remarks>
public DefaultInterpreterSetter SelectDefaultInterpreter(InterpreterConfiguration python)
{
return(new DefaultInterpreterSetter(
InterpreterService.FindInterpreter(python.Id),
ServiceProvider
));
}
/// <summary>
/// Selects the given interpreter as the default.
/// </summary>
/// <remarks>
/// This method should always be called as a using block.
/// </remarks>
public DefaultInterpreterSetter SelectDefaultInterpreter(PythonVersion python)
{
return(new DefaultInterpreterSetter(
InterpreterService.FindInterpreter(python.Id, python.Version.ToVersion()),
ServiceProvider
));
}