Fix search if external root dir starts with a dot (#743)

Fixes #740
Co-Authored-By: Fabian Henneke <FabianHenneke@users.noreply.github.com>
This commit is contained in:
Maxime Catrice 2020-04-25 11:48:19 +02:00 committed by GitHub
parent 73695e2493
commit f7dbac4649
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -266,7 +266,8 @@ class SearchableRepositoryViewModel(application: Application) : AndroidViewModel
private fun listFilesRecursively(dir: File): Flow<File> { private fun listFilesRecursively(dir: File): Flow<File> {
return dir return dir
.walkTopDown().onEnter { file -> shouldTake(file) } // Take top directory even if it is hidden.
.walkTopDown().onEnter { file -> file == dir || shouldTake(file) }
.asFlow() .asFlow()
// Skip the root directory // Skip the root directory
.drop(1) .drop(1)