--- a/src/Tools/VSCode/patches/cli.patch Sat Aug 30 13:10:55 2025 +0200
+++ b/src/Tools/VSCode/patches/cli.patch Sat Aug 30 13:45:06 2025 +0200
@@ -1,20 +1,25 @@
diff --git a/src/vs/code/node/cli.ts b/src/vs/code/node/cli.ts
+index b31099e..fe27645 100644
--- a/src/vs/code/node/cli.ts
+++ b/src/vs/code/node/cli.ts
-@@ -363,9 +363,11 @@ export async function main(argv: string[]): Promise<any> {
+@@ -482,13 +482,15 @@ export async function main(argv: string[]): Promise<any> {
}
let child: ChildProcess;
+ const app_arg = '--app=' + process.env['ISABELLE_VSCODIUM_APP'];
+ const electron_args = [app_arg].concat(argv.slice(2));
if (!isMacOSBigSurOrNewer) {
+ if (!args.verbose && args.status) {
+ options['stdio'] = ['ignore', 'pipe', 'ignore']; // restore ability to see output when --status is used
+ }
+
// We spawn process.execPath directly
- child = spawn(process.execPath, argv.slice(2), options);
+ child = spawn(process.execPath, electron_args, options);
} else {
// On Big Sur, we spawn using the open command to obtain behavior
// similar to if the app was launched from the dock
-@@ -425,7 +427,7 @@ export async function main(argv: string[]): Promise<any> {
+@@ -548,7 +550,7 @@ export async function main(argv: string[]): Promise<any> {
}
}