commit 4a86bd96407210be6c6c88646617987b8029bb9c parent e189383258235caa4f4d18933c3ef40e74a4c6c8 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Mon, 19 Feb 2024 08:47:46 +0100 find_extra_repos Diffstat:
| find_extra_repos | | | 11 | +++++++++++ |
1 file changed, 11 insertions(+), 0 deletions(-)
diff --git a/find_extra_repos b/find_extra_repos @@ -0,0 +1,11 @@ +#!/bin/bash + +# find repositories in ~/git and ~/svn that are not managed by myrepos + +for a in svn git +do + comm -2 -3 <(ls "$HOME/$a/" | sort) \ + <(cat "$HOME/config/private/mrconfig" | grep "^\[$a" | + cut -d '[' -f2 | cut -d']' -f1 | cut -d'/' -f2- | sort) | + sed "s/^/$a\//" +done