debian/patches/exec-redirections-man.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 --- bash/doc/bash.1~    2006-07-12 20:16:36.000000000 -0400
  19 +++ bash/doc/bash.1     2006-07-12 20:26:49.000000000 -0400
  20 @@ -3014,6 +3014,10 @@
  21  Redirections using file descriptors greater than 9 should be used with
  22  care, as they may conflict with file descriptors the shell uses
  23  internally.
  24 +.PP
  25 +Note that the
  26 +.B exec
  27 +builtin command can make redirections take effect in the current shell.
  28  .SS Redirecting Input
  29  .PP
  30  Redirection of input causes the file whose name results from
  31