Re: Menus Debian

On Tue, 25 Mar 2003 08:05:50 +0100
Christian Marillat <marillat.christian@???> wrote:
> Pierre Pronchery <khorben@???> writes:
> > pour tout les utilisateurs, c'est /etc/menu .
>
> Non, c'est /usr/lib/menu
Non, unix veut qu'on utilise /etc pour la configuration, et oui debian
le respecte.
Dans /etc/menu, on peut rajouter ses propres entrees, ou meme ignorer
certaines de /usr/lib/menu (en mettant une entree avec le meme nom).

Comme ca, pas besoin de repackager pour changer proprement le menu d'un
logiciel.

--
Pierre