Skip to content

Hide files under ephemeral from text search #5776

Closed
Closed
Hide files under ephemeral from text search#5776
Labels
in editorRelates to code editing or language featuresis enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.
Milestone
v3.124.0

Description

@FMorschel
FMorschel
opened on Oct 30, 2025

Is your feature request related to a problem? Please describe.
I've used text search for 'dart:developer' in a Flutter project with some dependencies (say connectivity_plus). And under the linux folder, it creates a main.dart file (my_package_folder\linux\flutter\ephemeral\.plugin_symlinks\connectivity_plus\example\lib\main.dart).

Describe the solution you'd like
Ideally, we can remove these ephemeral paths from the default text search.

Describe alternatives you've considered
Manually adding ,**/ephemeral/** to whatever text search you do under the files to exclude section.

I also can't think of any good reason to ever look under .plugin_symlinks specifically. Maybe we could hide those from the file explorer (which might solve this).

Activity

  1. FMorschel
    added
    is enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.
    on Oct 30, 2025
  2. DanTup
    closed this as completedin a30ccc1on Oct 30, 2025
  3. DanTup
    added a commit that references this issue on Oct 30, 2025

    Change to exclude some from Explorer

    8287000

  4. DanTup commented on Oct 30, 2025

    @DanTup
    DanTup
    on Oct 30, 2025
    Member

    I've added the following exclusions:

    "files.exclude": {
	"**/flutter/ephemeral": true,
	"**/.symlinks": true,
	"**/.plugin_symlinks": true
},
"search.exclude": {
	"**/.dart_tool": true
},

    I didn't want to exclude .dart_tool from the explorer because people might be used to seeing it, but I did exclude it from search since it's mostly internal stuff you never want to be accidentally ending up in. The others, I excluded from both explorer+search because I don't think you ever really want either (and you can easily re-enable them if you do).

  5. DanTup
    added this to the v3.124.0 milestone on Oct 30, 2025
  6. DanTup
    added
    in editorRelates to code editing or language features
    on Oct 30, 2025

  7. FMorschel commented on Nov 3, 2025

    @FMorschel
    FMorschel
    on Nov 3, 2025
    ContributorAuthor

    As an FYI @bwilkerson, if you think doing this is possible/valuable to do in IntelliJ plugin too.

  8. bwilkerson commented on Nov 3, 2025

    @bwilkerson
    bwilkerson
    on Nov 3, 2025

    @jwren @pq @helin24

  9. helin24 commented on Nov 3, 2025

    @helin24
    helin24
    on Nov 3, 2025
    Contributor

    Filed an IJ issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    in editorRelates to code editing or language featuresis enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions