Skip to content

[Fix #1663] Exclude ignored projects from the known-projects list#2024

Merged
bbatsov merged 1 commit into
masterfrom
feature/1663-filter-ignored-projects
Jun 20, 2026
Merged

[Fix #1663] Exclude ignored projects from the known-projects list#2024
bbatsov merged 1 commit into
masterfrom
feature/1663-filter-ignored-projects

Conversation

@bbatsov

@bbatsov bbatsov commented Jun 20, 2026

Copy link
Copy Markdown
Owner

projectile-ignored-projects (and projectile-ignored-project-function) were only consulted when adding a project, so a project that was added to the known projects before being ignored still showed up in projectile-switch-project. This filters ignored projects out of projectile-relevant-known-projects, guarded so the common case (no ignore config) doesn't pay for a file-truename per known project.

Fixes #1663.

`projectile-ignored-projects' / `projectile-ignored-project-function'
were only consulted when adding a project, so a project added before
being ignored still showed up in `projectile-switch-project'. Filter the
ignored ones out in `projectile-relevant-known-projects', guarded so the
common (no ignore config) case doesn't pay for a `file-truename' per
known project.
@bbatsov bbatsov merged commit 3bd1ee4 into master Jun 20, 2026
10 checks passed
@bbatsov bbatsov deleted the feature/1663-filter-ignored-projects branch June 20, 2026 08:03
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.

Adding a directory to projectile-ignored-projects doesn't work without also removing it from projectile-bookmarks.eld

1 participant