I can help with the Applications thing. I can also help with getting .rkt files to open with DrRacket if you double-click them.
Grab the zip file here: http://dl.dropbox.com/u/10388887/usr.zip and drop it in your root directory. $ cd / $ sudo unzip usr.zip $ sudo update-mime-database /usr/share/mime $ sudo update-icon-caches /usr/share/icons The gorgeous icon was a gift from someone on the user list a while ago. To make the file icons, I shrunk it and added it to the corner of a GPLed text icon. Todd P.S. Sorry to hear about collapsing buildings. On Thu, Jan 26, 2012 at 7:38 PM, Rodolfo Carvalho <rhcarva...@gmail.com> wrote: > Still on the .deb / apt-get thing.... > > Yesterday at our local coding dojo I installed Racket using apt-get from > Linux Mint official repo > (http://community.linuxmint.com/software/view/racket). > > I got sad when I noticed that the version was 5.1.1 (same version of the one > in the Ubuntu repo http://packages.ubuntu.com/oneiric/racket), without many > of the recent improvements with direct impact on newcomers, like the > keyboard shortcuts (ctrl-R x ctrl-T). I also noticed a problem I had > experienced before, and that has been reported here in the list: highlight > between matching parens not working (missing lib?). > I believe this is fixed in newer versions... > > Oh, and I wish DrRacket would show on the Applications menu! > > I thought of installing from the repo since that could be easier for people > to upgrade over time. > Next week I ought to reinstall from the website download, maybe the next > version 5.2.1. > > > Unfortunatelly we had to interrupt our dojo in the middle because of a > building that fell down right next to us... > To the audience, that was more scaring than programming in Racket... > > > []'s > > Rodolfo Carvalho > > > > On Thu, Jan 26, 2012 at 21:41, Todd O'Bryan <toddobr...@gmail.com> wrote: >> >> Yeah, I'm using the same one. I know it's worked before, so I suspect >> I'm missing a necessary library or some other widget that lets >> DrRacket know where to look for the fonts. The one difference is that >> I've started using Kubuntu as of 11.10 because I hate Unity, so I >> guess that could also be an issue. >> >> On Thu, Jan 26, 2012 at 6:29 PM, Paul Leger <ple...@gmail.com> wrote: >> > On 01/26/2012 08:05 PM, Todd O'Bryan wrote: >> >> >> >> I installed Racket from Jon Rafkind's Ubuntu PPA and the only font I >> >> have listed in the Preferences is "Monospace." >> >> >> >> I suspect there's probably a missing library or something that will >> >> give me access to all kinds of pretty fonts, but I'm not sure what it >> >> might be. >> >> >> >> Anybody have a suggestion to try? >> > >> > I am using Racket from the following PPA (Ubuntu 11.10): >> > https://launchpad.net/~plt/+archive/racket >> > >> > and I can use several fonts. >> > >> > -- >> > Saludos, Paul Leger. >> > >> > ____________________ >> > Racket Users list: >> > http://lists.racket-lang.org/users >> >> ____________________ >> Racket Users list: >> http://lists.racket-lang.org/users > > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users > ____________________ Racket Users list: http://lists.racket-lang.org/users
