}else{// if (shellArgsConfigValue.workspace !== undefined)
changeString=`shellArgs: ${argsString}`;
workspaceConfigStrings.push(shellString);
}
if(argsString){
workspaceConfigStrings.push(argsString);
}
if(envString){
workspaceConfigStrings.push(envString);
}
this._notificationService.prompt(Severity.Info,nls.localize('terminal.integrated.allowWorkspaceShell',"Do you allow {0} (defined as a workspace setting) to be launched in the terminal?",changeString),
this._notificationService.prompt(Severity.Info,nls.localize('terminal.integrated.allowWorkspaceShell',"Do you allow this workspace to modify your terminal shell? {0}",workspaceConfigString),