If the dim repo name matches the git remote, only print the repo name.
Signed-off-by: Jani Nikula <[email protected]>
---
dim | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/dim b/dim
index 76afd2fbec6f..36fe3c41c555 100755
--- a/dim
+++ b/dim
@@ -656,7 +656,11 @@ function fetch_all
{
for repo in "${!drm_tip_repos[@]}"; do
remote=$(repo_to_remote $repo)
- echo -n "Fetching $repo (local remote $remote)... "
+ if [[ "$repo" = "$remote" ]]; then
+ echo -n "Fetching $repo... "
+ else
+ echo -n "Fetching $repo (local remote $remote)... "
+ fi
git_fetch_helper $remote
echo "Done."
done
--
2.20.1
_______________________________________________
dim-tools mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/dim-tools
