Re: Bug#466596: zsh: Incorrect paths for initialization scripts in manual page

[Andrey Borzenkov <arvidjaar@newmail.ru>]

[-- Attachment #1: Type: text/plain, Size: 883 bytes --]

On Friday 22 February 2008, Clint Adams wrote:
> 
> [-workers: just for reference]
> 
> On Tue, Feb 19, 2008 at 11:19:22PM +0200, Jarmo Jaakkola wrote:
> > The manual page zsh(1) tells that the initialization scripts used by the
> > shell are in /etc (e.g. zprofile, zshrc).  Instead, they are in
> > /etc/zsh.
> 

Sorry? etcdir defaults to /etc and all scripts default to $ETCDIR/$script being /etc/z...

# Check whether --enable-etcdir was given.
if test "${enable_etcdir+set}" = set; then
  enableval=$enable_etcdir; etcdir="$enableval"
else
  etcdir=/etc
fi


# Check whether --enable-zshrc was given.
if test "${enable_zshrc+set}" = set; then
  enableval=$enable_zshrc; zshrc="$enableval"
else
  if test "x$etcdir" = xno; then
  zshrc=no
else
  zshrc="$etcdir/zshrc"
fi
fi

May be Jarmo means that actual etcdir is not reflected in manual pages?

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 197 bytes --]