(
exePath: IPowerShellExeDetails,
)
| 1313 | } |
| 1314 | |
| 1315 | private async changePowerShellDefaultVersion( |
| 1316 | exePath: IPowerShellExeDetails, |
| 1317 | ): Promise<void> { |
| 1318 | this.suppressRestartPrompt = true; |
| 1319 | try { |
| 1320 | await changeSetting( |
| 1321 | "powerShellDefaultVersion", |
| 1322 | exePath.displayName, |
| 1323 | true, |
| 1324 | this.logger, |
| 1325 | ); |
| 1326 | } finally { |
| 1327 | this.suppressRestartPrompt = false; |
| 1328 | } |
| 1329 | |
| 1330 | // We pass in the display name so that we force the extension to use that version |
| 1331 | // rather than pull from the settings. The issue we prevent here is when a |
| 1332 | // workspace setting is defined which gets priority over user settings which |
| 1333 | // is what the change above sets. |
| 1334 | await this.restartSession(exePath.displayName); |
| 1335 | } |
| 1336 | |
| 1337 | // Shows the temp debug terminal if it exists, otherwise the session terminal. |
| 1338 | public showDebugTerminal(isExecute?: boolean): void { |
no test coverage detected