etc/profile.d/functions

diff --git a/etc/profile.d/functions b/etc/profile.d/functions
index 93d93555e68dad0dec035d87b180a39564c84f34..fd1e4354ab17633defec963fa80ee63124230444 100755 (executable)
--- a/etc/profile.d/functions
+++ b/etc/profile.d/functions
@@ -61,7 +61,7 @@ nb_repos_grep() {
 nb_repos_ls_files() {
        local i
        for i in `nb_repos`; do
-               git -C "$i" ls-files | sed "s!^!$i/!"
+               git -C "$i" ls-files | sed -e "s!^!$i/!" -e "s!^//\+!/!"
        done
 }