Updates via shellscript

This commit is contained in:
Lars Mueller 2019-05-05 15:15:07 +02:00
parent 05de582917
commit 0c78d1bcd9

@ -414,12 +414,13 @@ string_ext={
return (byte >= string_ext.zero and byte <= string_ext.nine) or (byte >= string_ext.letter_a and byte <= string_ext.letter_f) return (byte >= string_ext.zero and byte <= string_ext.nine) or (byte >= string_ext.letter_a and byte <= string_ext.letter_f)
end, end,
magic_chars={"(", ")", "." "%", "+", "-", "*", "?", "[", "^", "$"}, magic_chars={"(", ")", ".", "%", "+", "-", "*", "?", "[", "^", "$"},
escape_magic_chars=function(text) escape_magic_chars=function(text)
for _, magic_char in pairs(string_ext.magic_chars) do for _, magic_char in pairs(string_ext.magic_chars) do
text=string.gsub(string, "%"..magic_char,"%"..magic_char) text=string.gsub(text, "%"..magic_char,"%"..magic_char)
end end
return text
end end
} }