Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-04-27 20:13:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

add suggest setting WindowsExecutableExtensions, default values (#238155)

Browse Source
This commit is contained in:
Megan Rogge
2025-01-17 15:05:33 -06:00
committed by GitHub
parent ff593777e3
commit c2c7ab5a88
3 changed files with 65 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
extensions/terminal-suggest/src/helpers/executable.ts
View File

@@ -6,9 +6,10 @@
import { osIsWindows } from './os';
import * as fs from 'fs/promises';
export async function isExecutable(filePath: string): Promise<boolean> {
export async function isExecutable(filePath: string, configuredWindowsExecutableExtensions?: Object): Promise<boolean> {
if (osIsWindows()) {
return windowsExecutableExtensions.find(ext => filePath.endsWith(ext)) !== undefined;
const resolvedWindowsExecutableExtensions = resolveWindowsExecutableExtensions(configuredWindowsExecutableExtensions);
return resolvedWindowsExecutableExtensions.find(ext => filePath.endsWith(ext)) !== undefined;
}
try {
const stats = await fs.stat(filePath);
@@ -19,7 +20,23 @@ export async function isExecutable(filePath: string): Promise<boolean> {
return false;
}
}
const windowsExecutableExtensions: string[] = [
function resolveWindowsExecutableExtensions(configuredWindowsExecutableExtensions?: Object): string[] {
const resolvedWindowsExecutableExtensions: string[] = windowsDefaultExecutableExtensions;
const excluded = new Set<string>();
if (configuredWindowsExecutableExtensions) {
for (const [key, value] of Object.entries(configuredWindowsExecutableExtensions)) {
if (value === true) {
resolvedWindowsExecutableExtensions.push(key);
} else {
excluded.add(key);
}
}
}
return Array.from(new Set(resolvedWindowsExecutableExtensions)).filter(ext => !excluded.has(ext));
}
export const windowsDefaultExecutableExtensions: string[] = [
'.exe', // Executable file
'.bat', // Batch file
'.cmd', // Command script