[Précédent (date)] [Suivant (date)] [Précédent (sujet)] [Suivant (sujet)] [Index par date] [Index par sujet]
Re: Page man ne fonctionne pas
- To:
- Subject: Re: Page man ne fonctionne pas
- From: François Pinard <>
- Date: Fri, 24 Mar 2000 07:51:19 -0500
-
In-reply-to: <[email protected]>
[email protected] (Marc) écrit:
> Mes pages man ne fonctionne pas, quelle que soit
> la page que je demande, j'obtiens toujours la réponse
> no manual entry for ...
Je ne suis pas sûr, mais il se pourrait que MANPATH ne soit pas correctement
défini. À tout hasard, vraiment, voici le code que j'utilise, dans
`.bash_login', pour le faire.
setenv ()
{
export $1
eval $1=\"$2\"
}
prepend_dir ()
{
if [ -d $1 ]; then
if [ -z "$path_list" ]; then
path_list=$1
else
path_list=$1:$path_list
fi
fi
}
prepend_dir /usr/man # (partout)
prepend_dir /usr/catman # SGI
prepend_dir /usr/share/man # SGI
prepend_dir /usr/share/catman # SGI
#prepend_dir /usr/man/preformat # ?
prepend_dir /usr/openwin/man # Linux, Sun
prepend_dir /usr/X11/man # Linux
[ -n "$PRMAN" ] && prepend_dir $PRMAN/man # taarna.qc.ca
#prepend_dir /usr/local/lang/SUNWspro/man # Sun
#prepend_dir /usr/local/man_system # ?
prepend_dir /usr/local/man # (partout)
#prepend_dir /usr/local/openwin/man # ?
prepend_dir /usr/local/X11/man # progiciels-bpi.ca
[ ~pinard = $HOME ] ||
prepend_dir ~pinard/local/man
prepend_dir $HOME/local/man
setenv MANPATH $path_list
unset path_list
--
François Pinard http://www.iro.umontreal.ca/~pinard