3 if [ $# -eq 3 -a "$2" = '-d' ]; then
5 elif [ $# -ne 1 ]; then
6 echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
10 -patch) patch $pdir -f --no-backup-if-mismatch -p1 < $0;;
11 -unpatch) patch $pdir -f --no-backup-if-mismatch -R -p1 < $0;;
13 echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
18 # DP: Clarify documentation about case-insensitive pathname expansion
20 --- bash/doc/bash.1~ 2004-08-28 18:25:23.000000000 +0200
21 +++ bash/doc/bash.1 2004-08-28 19:13:24.000000000 +0200
22 @@ -2690,6 +2690,10 @@
24 is enabled, the match is performed without regard to the case
25 of alphabetic characters.
26 +Note that when using range expressions like
27 +[a-z] (see below), letters of the other case may be included,
28 +depending on the setting of
30 When a pattern is used for pathname expansion,