- dir_name="$(basename "$line")";
- # Exclude dotdirs
- if [[ "$dir_name" =~ $re_dotfile ]]; then
- echo "ERROR:Is a dotdir:$line" 1>&2;
- continue
- fi;
- dirs_stdin+=("$line");
- done < <(read_stdin);
- yell "STATUS:$SECONDS:Read stdin.";
- ## Read positional arguments as lines
- re_dotfile="^\."; # first char is a dot
- while read -r line; do
- line="$(readlink -e "$line")";
- # Check if dir
- if [[ ! -d "$line" ]]; then
- echo "ERROR:Not a dir:$line" 1>&2;