equal
deleted
inserted
replaced
521 similar to full regexps. Within the character class, like |
521 similar to full regexps. Within the character class, like |
522 outside, backslash has no special meaning. |
522 outside, backslash has no special meaning. |
523 \endtable |
523 \endtable |
524 |
524 |
525 In the mode Wildcard, the wildcard characters cannot be |
525 In the mode Wildcard, the wildcard characters cannot be |
526 escaped. In the mode WildcardUnix, the character '\' escapes the |
526 escaped. In the mode WildcardUnix, the character '\\' escapes the |
527 wildcard. |
527 wildcard. |
528 |
528 |
529 For example if we are in wildcard mode and have strings which |
529 For example if we are in wildcard mode and have strings which |
530 contain filenames we could identify HTML files with \bold{*.html}. |
530 contain filenames we could identify HTML files with \bold{*.html}. |
531 This will match zero or more characters followed by a dot followed |
531 This will match zero or more characters followed by a dot followed |
3772 similar to that used by shells (command interpreters) for "file |
3772 similar to that used by shells (command interpreters) for "file |
3773 globbing". See \l{Wildcard Matching}. |
3773 globbing". See \l{Wildcard Matching}. |
3774 |
3774 |
3775 \value WildcardUnix This is similar to Wildcard but with the |
3775 \value WildcardUnix This is similar to Wildcard but with the |
3776 behavior of a Unix shell. The wildcard characters can be escaped |
3776 behavior of a Unix shell. The wildcard characters can be escaped |
3777 with the character "\". |
3777 with the character "\\". |
3778 |
3778 |
3779 \value FixedString The pattern is a fixed string. This is |
3779 \value FixedString The pattern is a fixed string. This is |
3780 equivalent to using the RegExp pattern on a string in |
3780 equivalent to using the RegExp pattern on a string in |
3781 which all metacharacters are escaped using escape(). |
3781 which all metacharacters are escaped using escape(). |
3782 |
3782 |