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 <e...@barzilay.org> wrote: > On Sun, Nov 23, 2014 at 9:01 AM, Matthew Flatt <mfl...@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! _________________________ Racket Developers list: http://lists.racket-lang.org/dev
