[Précédent (date)] [Suivant (date)] [Précédent (sujet)] [Suivant (sujet)] [Index par date] [Index par sujet]

Re: Page man ne fonctionne pas



[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