mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-02 00:09:30 +01:00
Update src/vs/workbench/contrib/terminalContrib/chatAgentTools/common/terminalSandboxService.ts
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
@@ -742,7 +742,10 @@ export class TerminalSandboxService extends Disposable implements ITerminalSandb
|
||||
const setting = this._configurationService.inspect<T>(settingId);
|
||||
const deprecatedSetting = deprecatedSettingId ? this._configurationService.inspect<T>(deprecatedSettingId) : undefined;
|
||||
|
||||
if (setting.userValue === undefined && deprecatedSetting?.userValue !== undefined) {
|
||||
const isSettingConfigured = setting.value !== setting.defaultValue;
|
||||
const isDeprecatedSettingConfigured = deprecatedSetting !== undefined && deprecatedSetting.value !== deprecatedSetting.defaultValue;
|
||||
|
||||
if (!isSettingConfigured && isDeprecatedSettingConfigured) {
|
||||
this._logService.warn(`TerminalSandboxService: Using deprecated setting ${deprecatedSettingId} because ${settingId} is not set. Please update your settings to use ${settingId} instead.`);
|
||||
return deprecatedSetting.value;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user