Did this go anywhere? It would definitely be cool to see DrRacket in the Ubuntu Applications menu.
A screenshot in the Ubuntu Software Center would be nice too, but I don't know where that comes from (doesn't seem to be part of the .desktop file). Oh hm, does it get them from http://screenshots.debian.net/ ? Anyone want to upload some there? --Doug On Sat, Feb 19, 2011 at 10:53 PM, Jon Rafkind <rafk...@cs.utah.edu> wrote: > Thanks Todd, I'll look into integrating these files. > > On 02/19/2011 08:46 PM, Todd O'Bryan wrote: >> I don't think they do. >> >> I've created a compressed /usr/share directory that, if unpacked and >> merged with what's already there, should register a mime type for >> application-x-racket, create a menu item in Applications/Programming, >> and create icons for both .rkt files and DrRacket itself. >> >> Here's a link: http://dl.dropbox.com/u/10388887/usr.zip >> >> I don't know how complicated it is to add such supplementary files to >> an Ubuntu package, but Jon is more than welcome to do so if he wants >> to use my archive. After adding these, you do have to update the gnome >> icon cache and the mime type cache, but I think that mostly happens >> automatically after a package install. >> >> I'm not 100% sure this works, but it should be pretty close. >> >> Todd >> >> On Wed, Feb 16, 2011 at 7:09 PM, Brian Mastenbrook >> <br...@mastenbrook.net> wrote: >>> On 2/15/2011 4:30 PM, Jon Rafkind wrote: >>>> I just updated this package for 5.1 so if you installed it before you >>>> should be able to update racket (I forget the commands exactly, maybe >>>> just uninstall and reinstall). Unfortunately you still have to use the >>>> -f flag. >>> Am I missing something or do these packages not install .desktop files so >>> that DrRacket et al show up in the system applications menu? >>> >>> -- >>> Brian Mastenbrook >>> br...@mastenbrook.net >>> http://brian.mastenbrook.net/ >>> >>> _________________________________________________ >>> For list-related administrative tasks: >>> http://lists.racket-lang.org/listinfo/users >>> >> _________________________________________________ >> For list-related administrative tasks: >> http://lists.racket-lang.org/listinfo/users > > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
