[racket-dev] DrRacket PF1 Search Bug?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Nov 23 09:01:11 EST 2014

At Sat, 22 Nov 2014 14:16:32 -0500, Eli Barzilay wrote:
> On Fri, Nov 21, 2014 at 4:26 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
> > The two candidates are the trampoline approach and the "just move the
> > documentation files over into the user space as if a package had been
> > installed".
> Oh, *that*'s the other solution?  That sounds pretty bad not only
> because it complicates file installation which is already very complex,
> but also because it's a significant weight.  (For example, the current
> size I see is about 180M, multiply that for a department with a thousand
> users and you get unhappy admins.)

Just the documentation "index" (main page, search page, etc.) would get
generated in the user's space. It's on the order of 1 MB.

Posted on the dev mailing list.