Re: Man et /usr/share/man sur potato
Le Wed, Aug 18, 1999 at 09:58:04AM +0200, Christian Perrier écrivait:
> Je suis en potato et je ne lis pas debian-devel. Je sais, c'est mal...:-)
C'est pas méhant, faut juste pas venir se plaindre. :-)
> D'après debian-news, le mouvement est pour l'instant stoppé. Cependant,
Stoppé pour ceux qui suivent les recommendations de Wichert. Et cela ne
concerne que /usr/doc.
> Malehureusement man n'a pas suivi et /etc/manpath.config n'inclut pour
> l'instant pas /usr/share/man
C'est que tu l'as modifié manuellement et que dpkg n'a pas installé
automatiquement la nouvelle version parce que chez moi :
-rw-r--r-- 1 root root 2607 May 25 06:19 /etc/manpath.config
-rw-r--r-- 1 root root 2736 Aug 12 1997 /etc/manpath.config.bak
-rw-r--r-- 1 root root 2645 Jun 21 1998 /etc/manpath.config.dpkg-old
$ less /etc/manpath.config
[...]
MANDATORY_MANPATH /usr/man
MANDATORY_MANPATH /usr/share/man
MANDATORY_MANPATH /usr/X11R6/man
MANDATORY_MANPATH /usr/local/man
[...]
> Bien entendu, le remède est simple : éditer manpath.config. Ce n'est pas mon
> problème. Je voudrais par contre quelques avis sur l'opportunité d'un
> rapport de bug. Un tel rapport existe déjà (25491 vieux d'un an!) mais sous
> forme de "wishlist" alors que pour moi, le problème devient Normal ou
> Important vu qu'il commence à y avoir pas mal de monde dans /usr/share/man
>
> Commentaires?
Pour moi il n'y a pas de bug.
A+
--
Raphaël Hertzog -=- http://ntux.u-strasbg.fr/~raphael/
<pub> CDs Debian : http://ntux.u-strasbg.fr/~raphael/debian/#cd </pub>
Reply to: