les répertoires de profil partagé et de machine sont traités comme un seul répertoire

This commit is contained in:
2015-06-22 09:53:54 +04:00
parent e3f76cdcbc
commit e9089d86d6
6 changed files with 92 additions and 52 deletions

View File

@@ -57,7 +57,8 @@ function __uenv_source_dirs() {
source "$sio"
else
for file in "$dir/"*; do
if __uenv_check_file "$(dirname -- "$file")" "$(basename -- "$file")"; then
[ -f "$file" ] || continue
if __uenv_check_file "$dir" "$(basename -- "$file")"; then
source "$file"
fi
done