-   Debian (
-   -   Gnome: How to safely edit the menu (

arthur1968 12-04-2003 06:40 PM

Gnome: How to safely edit the menu
I promise...

I've done a nice search all over the place (more or less).

I came across a neat little trick involving changing the contents of a certain file, but didn't work:

as soon as my session was left, logging in again would show that no changes had been applied.

My Debian menu is really a mess, with empty entries and overcrowded categories.

Is there really no way to permanently edit the Gnome menu?



llamakc 12-04-2003 06:43 PM

Look in /usr/share/doc/menu/html/index.html That's a great place to start. I changed my openbox3 menus using those instructions.


arthur1968 12-04-2003 06:50 PM

Thanks, but I can't find anything along that path.

Can you double check, please?



llamakc 12-04-2003 06:54 PM

You would want to install the package named "menu". That is how I do it. This provides a clean interface and a structure so that all windowmanagers, desktop environments will use the same menu. And it allows you to edit/override too.

You'll have to apt-get install menu for that documentation to exist.


arthur1968 12-04-2003 07:03 PM


BTW, excuse my ignorance, what do the letters


stand for?



:study: :newbie:

If it is Happy to Help, you are indeed spending some time helping others in this forum.

llamakc 12-04-2003 07:08 PM

Hope That Helps. Good luck with this!

All times are GMT -5. The time now is 10:17 AM.