Merge branch 'master' into beta

This commit is contained in:
Darko Poljak 2020-05-01 13:09:45 +02:00
commit 1da9dcce4a
31 changed files with 264 additions and 159 deletions

View file

@ -224,6 +224,7 @@ hor_line()
if [ "${do_global_explorer}" ]
then
print_verbose 2 "Dumping global explorers"
# shellcheck disable=SC2086
set -- "$@" ${or} \( \
-path "*/explorer/*" -a \
! -path "*/conf/*" -a \