debian/patches/exec-redirections-man.diff

   1 --- a/bash/doc/bash.1
   2 +++ b/bash/doc/bash.1
   3 @@ -3452,6 +3452,10 @@
   4  Redirections using file descriptors greater than 9 should be used with
   5  care, as they may conflict with file descriptors the shell uses
   6  internally.
   7 +.PP
   8 +Note that the
   9 +.B exec
  10 +builtin command can make redirections take effect in the current shell.
  11  .SS Redirecting Input
  12  .PP
  13  Redirection of input causes the file whose name results from