debian/patches/man-bashlogout.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 /etc/bash.bashrc in bash man page
  19
  20 --- bash/doc/bash.1~    2004-06-19 15:53:01.000000000 +0200
  21 +++ bash/doc/bash.1     2004-06-19 15:53:57.000000000 +0200
  22 @@ -8283,6 +8283,9 @@
  23  .FN /etc/bash.bashrc
  24  The systemwide per-interactive-shell startup file
  25  .TP
  26 +.FN /etc/bash.bash.logout
  27 +The systemwide login shell cleanup file, executed when a login shell exits
  28 +.TP
  29  .FN ~/.bash_profile
  30  The personal initialization file, executed for login shells
  31  .TP