Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Directory case sensitivity #1387

Merged
merged 4 commits into from
Dec 1, 2023
Merged

Conversation

rzvxa
Copy link
Member

@rzvxa rzvxa commented Nov 30, 2023

Description of Changes

Closes #1344 and #1346 (#1345)
related to #1375


New Version Info

Now reveal and isUnder methods consider the filesystem case sensitivity when performing their action

@rzvxa rzvxa self-assigned this Nov 30, 2023
@rzvxa rzvxa requested a review from alerque November 30, 2023 22:44
@rzvxa rzvxa marked this pull request as ready for review November 30, 2023 22:44
@alerque alerque merged commit 50a394b into preservim:master Dec 1, 2023
1 check passed
@rzvxa rzvxa deleted the dir-case-sensitivity branch January 9, 2024 12:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

NERDTreeFind: Exception not caught: NERDTree.InvalidArgumentsError: <file> should be under <path>
3 participants