Commit e053ec73 authored by Vitaly Lipatov's avatar Vitaly Lipatov

epm: use bash optimized has_space

parent 6b510228
......@@ -778,11 +778,19 @@ $1"
done
}
#has_space()
#{
# estrlist -- has_space "$@"
#}
# use internal implementation for speed
has_space()
{
estrlist -- has_space "$@"
# not for dash:
[ "$1" != "${1/ //}" ]
# [ "$(echo "$*" | sed -e "s| ||")" != "$*" ]
}
is_url()
{
echo "$1" | grep -q "^[filehtps]*:/"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment