-
Notifications
You must be signed in to change notification settings - Fork 35.9k
Closed
Closed
Copy link
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable bugsearchSearch widget and operation issuesSearch widget and operation issues
Description
IgnoreFile checks if a path belongs to a folder in the following way:
if (!path.startsWith(dirPath)) { return false; }
This does not take into account that paths are not case-sensitive on windows and macOS. Should it?
vscode/src/vs/workbench/services/search/common/ignoreFile.ts
Lines 117 to 125 in f9ec787
| const isPathIgnored = (path: string, isDir: boolean) => { | |
| if (!path.startsWith(dirPath)) { return false; } | |
| if (isDir && isDirIgnored(path) && !isDirIncluded(path)) { return true; } | |
| if (isFileIgnored(path) && !isFileIncluded(path)) { return true; } | |
| if (parent) { return parent.isPathIgnored(path, isDir); } | |
| return false; | |
| }; |
Metadata
Metadata
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable bugsearchSearch widget and operation issuesSearch widget and operation issues