Re: [racket-dev] sudo make install

2011-01-13 Thread Eli Barzilay
Jon+Matthew: just remember for the upcoming release notes that the option *is* "--enable-usersetup" -- the commit message has "--enable-userspecific" by mistake. Two hours ago, Matthew Flatt wrote: > > Not until now. I kept looking for our old rationale, but I couldn't > find it and I've given up

Re: [racket-dev] sudo make install

2011-01-13 Thread Matthew Flatt
At Wed, 12 Jan 2011 13:57:06 -0700, Jon Rafkind wrote: > On 01/03/2011 02:11 PM, Matthew Flatt wrote: > > At Mon, 3 Jan 2011 14:55:05 -0500, Sam Tobin-Hochstadt wrote: > >> On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler > >> wrote: > >>> Or maybe there is another possible solution that involves cha

Re: [racket-dev] sudo make install

2011-01-12 Thread Jon Rafkind
On 01/03/2011 02:11 PM, Matthew Flatt wrote: > At Mon, 3 Jan 2011 14:55:05 -0500, Sam Tobin-Hochstadt wrote: >> On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler >> wrote: >>> Or maybe there is another possible solution that involves changing how >>> the distribution and or the docs build works? >> I

Re: [racket-dev] sudo make install

2011-01-03 Thread Robby Findler
At the moment the only thing that seems to stand in the way of matching user's expectations a little bit better is the handin server's docs. How about we just distribute it? It does require a bit more sophistication to use but surely less than building from source? Robby On Monday, January 3, 201

Re: [racket-dev] sudo make install

2011-01-03 Thread Matthew Flatt
See also http://lists.racket-lang.org/users/archive/2010-January/037610.html Like Eli, I remember that we've discussed this before, but I haven't been able to track down the earlier discussion, yet... At Mon, 3 Jan 2011 14:17:42 -0700, Matthew Flatt wrote: > Yes, unless you run `raco setup' lat

Re: [racket-dev] sudo make install

2011-01-03 Thread Matthew Flatt
Yes, unless you run `raco setup' later. At Mon, 3 Jan 2011 15:15:42 -0600, Robby Findler wrote: > Would this mean that the handin server docs don't get built? > > Robby > > On Mon, Jan 3, 2011 at 3:11 PM, Matthew Flatt wrote: > > At Mon, 3 Jan 2011 14:55:05 -0500, Sam Tobin-Hochstadt wrote: > >

Re: [racket-dev] sudo make install

2011-01-03 Thread Robby Findler
Would this mean that the handin server docs don't get built? Robby On Mon, Jan 3, 2011 at 3:11 PM, Matthew Flatt wrote: > At Mon, 3 Jan 2011 14:55:05 -0500, Sam Tobin-Hochstadt wrote: >> On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler >> wrote: >> > >> > Or maybe there is another possible solutio

Re: [racket-dev] sudo make install

2011-01-03 Thread Matthew Flatt
At Mon, 3 Jan 2011 14:55:05 -0500, Sam Tobin-Hochstadt wrote: > On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler > wrote: > > > > Or maybe there is another possible solution that involves changing how > > the distribution and or the docs build works? > > I think the conventional solution is for `mak

Re: [racket-dev] sudo make install

2011-01-03 Thread Jon Rafkind
On 01/03/2011 12:55 PM, Sam Tobin-Hochstadt wrote: > On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler > wrote: >> Or maybe there is another possible solution that involves changing how >> the distribution and or the docs build works? > I think the conventional solution is for `make install' to do muc

Re: [racket-dev] sudo make install

2011-01-03 Thread Sam Tobin-Hochstadt
On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler wrote: > > Or maybe there is another possible solution that involves changing how > the distribution and or the docs build works? I think the conventional solution is for `make install' to do much less work than it current does. In "normal" Make-buil

Re: [racket-dev] sudo make install

2011-01-03 Thread Robby Findler
Yes. So either pass that arg to sudo to set the home properly, or just don't to "sudo" when you do make install (if you're installing into a movable tree). Or maybe there is another possible solution that involves changing how the distribution and or the docs build works? Robby On Mon, Jan 3, 20

Re: [racket-dev] sudo make install

2011-01-03 Thread Jon Rafkind
Won't that make .racket be owned by root again when some preference file gets written out during 'make install'? On 01/03/2011 12:47 PM, Robby Findler wrote: > Ah. So the problem was that root owned the .racket directory itself. > > Should I revert my commit? > > Robby > > On Mon, Jan 3, 2011 at 1

Re: [racket-dev] sudo make install

2011-01-03 Thread Robby Findler
Ah. So the problem was that root owned the .racket directory itself. Should I revert my commit? Robby On Mon, Jan 3, 2011 at 1:39 PM, Jon Rafkind wrote: > On 01/03/2011 10:52 AM, Robby Findler wrote: >> On Mon, Jan 3, 2011 at 11:42 AM, Matthew Flatt wrote: >>> At Mon, 3 Jan 2011 11:39:28 -0600

Re: [racket-dev] sudo make install

2011-01-03 Thread Jon Rafkind
On 01/03/2011 10:52 AM, Robby Findler wrote: > On Mon, Jan 3, 2011 at 11:42 AM, Matthew Flatt wrote: >> At Mon, 3 Jan 2011 11:39:28 -0600, Robby Findler wrote: >>> I've changed the handin server so it puts its docs in the main tree >>> like (I believe) it is supposed to. >> That breaks the distrib

Re: [racket-dev] sudo make install

2011-01-03 Thread Robby Findler
On Mon, Jan 3, 2011 at 11:42 AM, Matthew Flatt wrote: > At Mon, 3 Jan 2011 11:39:28 -0600, Robby Findler wrote: >> I've changed the handin server so it puts its docs in the main tree >> like (I believe) it is supposed to. > > That breaks the distribution build. The "handin-server" docs were > inte

Re: [racket-dev] sudo make install

2011-01-03 Thread Matthew Flatt
At Mon, 3 Jan 2011 11:39:28 -0600, Robby Findler wrote: > I've changed the handin server so it puts its docs in the main tree > like (I believe) it is supposed to. That breaks the distribution build. The "handin-server" docs were intentionally not installed into the main tree, because "handin-serv

Re: [racket-dev] sudo make install

2011-01-03 Thread Robby Findler
I've changed the handin server so it puts its docs in the main tree like (I believe) it is supposed to. But earlier the messages led me to believe that something was setting a preference. Can you try that again with the latest and see if you get a preferences file (or any other files for that matt

Re: [racket-dev] sudo make install

2010-12-31 Thread Jon Rafkind
I reproduced this. 'make install' was killed due to a memory shortage but before it died it wrote out .racket. This happened somewhere while the scribble files were being processed. $ find .racket .racket .racket/5.0.99.6 .racket/5.0.99.6/doc .racket/5.0.99.6/doc/handin-server .racket/5.0.99.6/doc

Re: [racket-dev] sudo make install

2010-12-31 Thread Jon Rafkind
Well I'm not sure when he will pop into irc again but I'll try to reproduce this scenario. On 12/31/2010 02:43 PM, Robby Findler wrote: > Probably whatever is writing to the preferences file should not be doing that. > > If he could send along whatever is in the .racket/ directory (and > owned by

Re: [racket-dev] sudo make install

2010-12-31 Thread Robby Findler
Probably whatever is writing to the preferences file should not be doing that. If he could send along whatever is in the .racket/ directory (and owned by root) that would be useful. Robby On Fri, Dec 31, 2010 at 1:38 AM, Jon Rafkind wrote: > A user on IRC complained about an issue where after b

[racket-dev] sudo make install

2010-12-31 Thread Jon Rafkind
A user on IRC complained about an issue where after building and installing racket (with 'sudo make install') he received the following error upon starting drracket: Error saving preferences: open-output-file: cannot open output file: "~/.racket/.LOCKracket-prefs.rktd" (Permission denied; errno=13