jEdit uses glob patterns similar to those in the various Unix shells to implement file name filters in the file system browser. Glob patterns resemble regular expressions somewhat, but have a much simpler syntax. The following character sequences have special meaning within a glob pattern:
?
matches any one character
*
matches any number of characters
{!
Matches anything that does not match
glob
}glob
{
matches any one of a
,b
,c
}a
, b
or
c
[
matches
any character in
the set abc
]a
, b
or
c
[^
matches
any character not
in the set abc
]a
, b
or
c
[
matches
any character in the
range a-z
]a
to z
, inclusive.
A leading or trailing dash will be interpreted literally
In addition to the above, a number of “character class expressions” may be used as well:
[[:alnum:]]
matches any alphanumeric
character
[[:alpha:]]
matches any alphabetical character
[[:blank:]]
matches a space or horizontal tab
[[:cntrl:]]
matches a control character
[[:digit:]]
matches a decimal digit
[[:graph:]]
matches a non-space, non-control character
[[:lower:]]
matches a lowercase letter
[[:print:]]
same as [[:graph:]]
, but also space and tab
[[:punct:]]
matches a punctuation character
[[:space:]]
matches any whitespace character, including newlines
[[:upper:]]
matches an uppercase letter
[[:xdigit:]]
matches a valid hexadecimal digit
Here are some examples of glob patterns:
*
- all files.
*.java
- all files whose names end with
“.java”.
*.[ch]
- all files whose names end
with either
“.c” or “.h”.
[^#]*
- all files whose names do not
start with “#”.