Skip to content

[git] Git repo list gets refreshed too often and scans all of the filesystem #10415

Description

@mwamp

Bug Description:

I am using theia in a cloud environment and remote filestores are sometimes mounted within the theia workspace. In this setting the find_git_repositories is called very often (I believe for most filesystem events) and scans all of the directories in the workspace reccursively.

I believe there are two issues that we might want or not want to address :

  1. Refreshing the list of git repos happens too often
  2. Exclusion (as set in theia settings) has no effect on this

I think a hotfix for me will be to make sure git repo discovery happens only once at initialization of the workspace. (people can reload the whole workspace if they added a repo).

It looks to me that propagating exclusion will need some work at the level of https://github.com/Axosoft/find-git-repositories
To me the easiest way around this issue would be to add one explicit button to refresh git repos and call repo discovery only at init and when this button is pressed. Though scanning explicitly ignored dirs is still bad behavior.

Steps to Reproduce:

I can just use debugging on my filesystem mount to log all filesystem accesses. In a general setup, I am not sure how to intercept fs calls.

Related :
It looks to me that the natural suspect was not the culprit this time
Axosoft/nsfw#134
Axosoft/nsfw#124

Additional Information

  • Operating System: ubuntu
  • Theia Version: 1.19.0

Activity

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

    🤔 needs more infoissues that require more info from the authorgitissues related to gitproposalfeature proposals (potential future features)

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions