debian/patches/man-nocaseglob.dpatch

   1 #! /bin/sh -e
   2
   3 if [ $# -eq 3 -a "$2" = '-d' ]; then
   4     pdir="-d $3"
   5 elif [ $# -ne 1 ]; then
   6     echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
   7     exit 1
   8 fi
   9 case "$1" in
  10     -patch) patch $pdir -f --no-backup-if-mismatch -p1 < $0;;
  11     -unpatch) patch $pdir -f --no-backup-if-mismatch -R -p1 < $0;;
  12     *)
  13         echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
  14         exit 1
  15 esac
  16 exit 0
  17
  18 # DP: Clarify documentation about case-insensitive pathname expansion
  19
  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 @@
  23  .B nocaseglob
  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
  29 +.B LC_COLLATE.
  30  When a pattern is used for pathname expansion,
  31  the character
  32  .B ``.''