From 48fa888f9b2832f588952543f3413a9bf0350945 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hannes=20K=C3=B6rber?= Date: Thu, 30 Jun 2022 19:08:03 +0200 Subject: [PATCH] Print each unmanaged repo only once --- src/tree.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/tree.rs b/src/tree.rs index e8a0741..c53882f 100644 --- a/src/tree.rs +++ b/src/tree.rs @@ -60,7 +60,11 @@ pub fn sync_trees(config: config::Config, init_worktree: bool) -> Result { - unmanaged_repos_absolute_paths.extend(repos); + for path in repos.into_iter() { + if !unmanaged_repos_absolute_paths.contains(&path) { + unmanaged_repos_absolute_paths.push(path); + } + } } Err(error) => { print_error(&format!("Error getting unmanaged repos: {}", error));