From a1bf83b5a6efd248b0be82f4449e6b1ef3845e55 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Fri, 9 May 2025 03:35:18 -0700 Subject: [PATCH] faster --- src/vs/workbench/contrib/void/browser/terminalToolService.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/vs/workbench/contrib/void/browser/terminalToolService.ts b/src/vs/workbench/contrib/void/browser/terminalToolService.ts index 86510b39..2701df21 100644 --- a/src/vs/workbench/contrib/void/browser/terminalToolService.ts +++ b/src/vs/workbench/contrib/void/browser/terminalToolService.ts @@ -132,6 +132,8 @@ export class TerminalToolService extends Disposable implements ITerminalToolServ // Copy any other properties from the provided config ...config, }, + // Skip profile check to ensure the terminal is created quickly + skipContributedProfileCheck: true, }; const terminal = await this.terminalService.createTerminal(options)