diff --git a/bin/ls-all-repos b/bin/ls-all-repos index ebcdcd2..c4e05a8 100755 --- a/bin/ls-all-repos +++ b/bin/ls-all-repos @@ -1,36 +1,36 @@ #!/bin/bash abspath=no if [ "$1" == "-a" -o "$1" == "--absolute" ] ; then abspath=yes fi warn () { echo "W: $@" 1>&2 } # list known repositories mr -t list \ | grep '^mr list:' | grep -v '^mr list: finished' \ | awk '{print $3}' \ | while read repo_abspath ; do if [ "$abspath" == "no" ] ; then basename $repo_abspath else echo $repo_abspath fi done # list obsolete repositories -find . -mindepth 1 -maxdepth 1 -type d | +find . -mindepth 1 -maxdepth 1 -type d -not -path '*/\.*' | while read dir ; do dir=${dir#./} # strip "./" prefix if [ "$dir" == ".git" -o "$dir" == "bin" -o "$dir" == "packages" \ -o "$dir" == "doc" ] ; then continue fi if ! grep -q "^\[${dir}\]" .mrconfig ; then warn "unknown repository '$dir', you might want to remove it" fi done