[racket-dev] DrRacket PF1 Search Bug?

I've pushed a fix for the mac os x problem using materialize-user-docs
because it seems to me to reduce rather than enlarge the number of
different configurations are users are in. It may not actually turn
out to be the conservative change and we can always revisit it when we
have more concrete data.

Robby

On Mon, Nov 24, 2014 at 3:05 AM, Eli Barzilay <eli at barzilay.org> wrote:
> On Sun, Nov 23, 2014 at 9:01 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
>> At Sat, 22 Nov 2014 14:16:32 -0500, Eli Barzilay wrote:
>>>
>>> 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.
>
> Ah, that's much better.  But like I said, there's a point in doing this
> abstraction anyway since it's needed for the linux `xdg-open' thing.  I
> made a PR for that, it includes wrapping the mac thing, but that can be
> dropped.
>
> --
>           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                     http://barzilay.org/                   Maze is Life!