debian/patches/man-net-redirections-doc.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: Document, that bash is configured using --disable-net-redirections.
  19
  20 --- bash/doc/bashref.texi~      2005-09-09 22:08:10.865192816 +0200
  21 +++ bash/doc/bashref.texi       2005-09-10 11:42:51.805867224 +0200
  22 @@ -2025,6 +2025,9 @@
  23  is an integer port number or service name, Bash attempts to open a UDP
  24  connection to the corresponding socket.
  25
  26 +NOTE: @code{Bash}, as packaged for Debian, does not support using the
  27 +@file{/dev/tcp} and @file{/dev/udp} files.
  28 +
  29  @end table
  30
  31  A failure to open or create a file causes the redirection to fail.