On 7 March 2009 at 19:58, Pietro Battiston wrote: | Il giorno sab, 07/03/2009 alle 11.01 -0600, Dirk Eddelbuettel ha | > This leaves my terminal in a funny state after R / Rcmdr exit and I always | > have to call reset. | | I don't see this particular problem - running Ubuntu Intrepid.
Me too. Ubuntu 8.10, ssh'ed to Debian testing. The konsole prompt is foobar when I return from R/Rcmdr. | I was able to get some clarifications: the debian and Gnome/KDE menus | have different .desktop files, in different folders, with different | formats. | | The debian menu file goes in /usr/share/menu, while the one I posted | goes in /usr/share/applications. The categories you suggested are only | valid for the former, in the latter I think "Education;Science;Math" is | the only reasonable choice (though we can drop "Education" when the | issue I reported is solved - I'll track it). Thanks for doing my homework for me :-) I think this is spot-on. | I was also told that the Debian menu is being obsoleted, but I frankly | didn't find any verifiable source stating the same. These things take years to roll-in and out with 8000 source packages and hundreds of maintainers... | I'd suggest my .desktop to go upstream, since it's | distribution-agnostic, and adding the debian specific one via a patch. Yes, that's what I thought too when I was out running an errand. | Does shipping both in the debian package represent a problem to you, | Dirk? No, as one is "upstream" and the other one is the one we use. That's perfectly fine. I'll work on a bit in the next little while and will then have something to test, and to give to John for inclusion upstream. Nice and useful discussion everyone, and thanks for your help with the logo file and all that! Dirk -- Three out of two people have difficulties with fractions. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
