Searched refs:match_literal (Results 1 – 19 of 19) sorted by relevance
1503 match_literal = Match(r'^((?:\'?[0-9a-zA-Z_])*)(.*)$', "'" + tail)1504 collapsed += head + match_literal.group(1).replace("'", '')1505 elided = match_literal.group(2)
3616 $SED '/^Contents of section '"$match_literal"':/{
5271 $SED '/^Contents of section '"$match_literal"':/{
5011 $SED '/^Contents of section '"$match_literal"':/{
5267 $SED '/^Contents of section '"$match_literal"':/{
5103 $SED '/^Contents of section '"$match_literal"':/{
5225 $SED '/^Contents of section '"$match_literal"':/{
4892 $SED '/^Contents of section '"$match_literal"':/{