Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-24 Thread Robby Findler
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 dat

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-24 Thread Eli Barzilay
On Sun, Nov 23, 2014 at 9:01 AM, Matthew Flatt 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

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-23 Thread Matthew Flatt
At Sat, 22 Nov 2014 14:16:32 -0500, Eli Barzilay wrote: > On Fri, Nov 21, 2014 at 4:26 PM, Robby Findler > 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 th

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-22 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 4:26 PM, Robby Findler wrote: > > Oh, absolutely. OK, I'll do that later today. > 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?

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Stephen De Gabrielle
Would bringing a browser view into DrRacket be a third way, or would that be no different? (That said the native win OS and apple OS 'help' browser viewers aren't exactly inspiring - are they a fourth option?) S. On Fri, 21 Nov 2014 at 21:26 Robby Findler wrote: > On Fri, Nov 21, 2014 at 3:13 PM

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
On Fri, Nov 21, 2014 at 3:13 PM, Eli Barzilay wrote: > On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler > wrote: >> >> Oh, my apologies. I thought you meant something different. >> >> Yes, this works. > > Ah, in this case, the patch that I sent earlier should work fine. > (I could do a pull request

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler wrote: > > Oh, my apologies. I thought you meant something different. > > Yes, this works. Ah, in this case, the patch that I sent earlier should work fine. (I could do a pull request, but it should really be tested...) > I don't have a good idea wh

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
No that doesn't work. You can see why if you follow the technical details in the thread (and get a Mac maybe). Matthew is adding something to the setup collection and drr will use it and we will be all set I expect. Sam doing some testing after that point will be useful tho. Robby On Friday, No

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 9:45 AM, Sam Tobin-Hochstadt wrote: > > We have labs of macs here at IU. [*sigh* at that kind of spending...] >> And this is why I said that it's not really relevant -- AFAICT, the fact >> that things are setup in a way that prevents passing queries and >> fragments mean

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Sam Tobin-Hochstadt
On Fri, Nov 21, 2014 at 9:29 AM, Eli Barzilay wrote: > On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler > wrote: >> On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay wrote: >>> Not that it matters, but did you try to see if it's the file >>> permissions? >> >> Oh, they are! >> >> [...] >> >> And that

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler wrote: > On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay wrote: >> Not that it matters, but did you try to see if it's the file >> permissions? > > Oh, they are! > > [...] > > And that was it!! > > If I run: > > $ xattr -d com.apple.quarantine /Appl

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay wrote: > On Thu, Nov 20, 2014 at 10:38 PM, Robby Findler > wrote: >> No, the browser isn't hiding the query part. >> >> Here are the content of two script files: >> >> $ cat a.scrpt >> open location "file:///Applications/r/doc/search/index.html?q=xy

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Eli Barzilay
On Thu, Nov 20, 2014 at 10:38 PM, Robby Findler wrote: > No, the browser isn't hiding the query part. > > Here are the content of two script files: > > $ cat a.scrpt > open location "file:///Applications/r/doc/search/index.html?q=xyz" > $ cat b.scrpt > open location > "file:///Users/robby/Libra

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Robby Findler
No, the browser isn't hiding the query part. Here are the content of two script files: $ cat a.scrpt open location "file:///Applications/r/doc/search/index.html?q=xyz" $ cat b.scrpt open location "file:///Users/robby/Library/Racket/development/doc/search/index.html?q=xyz" Running "osascript a

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Eli Barzilay
On Thu, Nov 20, 2014 at 7:51 PM, Stephen De Gabrielle wrote: > in DrRacket: > >> (send-url "file:///Users/spdegabrielle/hello.html?q=aaaba") > > works > >> (send-url "file:///Applications/hello.html?q=xyz") > > works In that case I think that it's a different problem than what I described. >>

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Stephen De Gabrielle
in DrRacket: > (send-url "file:///Users/spdegabrielle/hello.html?q=aaaba") works > (send-url "file:///Applications/hello.html?q=xyz") works > (send-url "file:///Applications/Racket%20v6.1.1.5/doc/search/index.html?q=xyz") fails in bash: Miriams-MacBook-Pro-2:~ spdegabrielle$ open "fil

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Eli Barzilay
On Thu, Nov 20, 2014 at 5:22 PM, Robby Findler wrote: > Ah, thanks! I see that if it is trying to load the docs that are in > /Applications then it runs the code below, which somehow magically > drops the query argument by the time safari gets it. It's not because > of the space, either; when I re

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Robby Findler
Ah, thanks! I see that if it is trying to load the docs that are in /Applications then it runs the code below, which somehow magically drops the query argument by the time safari gets it. It's not because of the space, either; when I rename "Racket v6.1.1.5" to just "r", it also doesn't work. But i

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Stephen De Gabrielle
Is it significant that on the non-working machine running 6.1.1.5 (perform-search "xyz") returns file:///Applications/Racket%20v6.1.1.5/doc/search/index.html But my working instance running 6.1.1.5 (it is a day later build) running (perform-search "XYX") returns file:///Users/spdegabrielle/Library

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Stephen De Gabrielle
This: file:///Applications/Racket%20v6.1.1.5/doc/search/index.html it just shows the search screen as usual - just without the search text. s. On Wed Nov 19 2014 at 11:58:01 PM Robby Findler wrote: > If you navigate to the file in the file: url, is it empty? > > Robby > > On Wed, Nov 19, 2014

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Robby Findler
If you navigate to the file in the file: url, is it empty? Robby On Wed, Nov 19, 2014 at 5:52 PM, Stephen De Gabrielle wrote: > I'm such a doofus I forgot to put it on the bug report > > Safari, Version 8.0 (10600.1.25.1) > file:///Applications/Racket%20v6.1.1.5/doc/search/index.html > > OS X 10

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Stephen De Gabrielle
I'm such a doofus I forgot to put it on the bug report Safari, Version 8.0 (10600.1.25.1) file:///Applications/Racket%20v6.1.1.5/doc/search/index.html OS X 10.10.1 (14B25) all updates up-to-date Welcome to DrRacket, version 6.1.1.5--2014-11-19(6c9172f/a) [3m]. Language: racket/gui; memory limit:

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Robby Findler
You won't be surprised to learn that my machine is one of the ones where it works. :( If I understand correctly, you're getting to the browser, but not seeing the right thing in the browser? Is that right? If so, what is the url in the url bar? And which browser? Does it work if you switch to safa

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Stephen De Gabrielle
I just tried it on the latest osx 64 bit full build. Logged as http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=14844&return_url=http%3A%2F%2Fbugs.racket-lang.org%2Fquery%2F%3Fdatabase%3Ddefault%3Bdebug%3D%3BState%3Dany%3Bignoreclosed%3DIgnore%2520Closed%3BSynopsis%3Df1

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Geoffrey S. Knauth
Hmm. I typed cond, highlighted cond, pressed F1, help on cond came up in browser. But I built my own Racket from git sources, on 2014-11-06. > On Nov 19, 2014, at 15:55 , Stephen De Gabrielle > wrote: > > It's the search for selected term. > S. > On Wed, 19 Nov 2014 at 20:54 Geoffrey S. Knau

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Kevin Forchione
> On Nov 19, 2014, at 1:53 PM, Geoffrey S. Knauth wrote: > > I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with > Racket help. Is that the same thing? --Geoff Yes. Interesting. Looks like we’re running the same OS. F5 runs the program for me, F1 does nothing. Are you

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Geoffrey S. Knauth
I tried this which worked: typed the word: cond highlighted it right-clicked it browser came up with: file:///${HOME}/test/plt/git/plt/racket/doc/search/index.html?q=cond > On Nov 19, 2014, at 15:53 , Geoffrey S. Knauth wrote: > > I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser cam

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Stephen De Gabrielle
It's the search for selected term. S. On Wed, 19 Nov 2014 at 20:54 Geoffrey S. Knauth wrote: > I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with > Racket help. Is that the same thing? --Geoff > > > On Nov 19, 2014, at 15:46 , Kevin Forchione wrote: > > > > I’m not sure

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Geoffrey S. Knauth
I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with Racket help. Is that the same thing? --Geoff > On Nov 19, 2014, at 15:46 , Kevin Forchione wrote: > > I’m not sure if this has been reported yet, but it seems the PF1 “search in > help desk for …” feature no longer fun

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Stephen De Gabrielle
I've noticed that too. You can search the bug db at http://bugs.racket-lang.org/query/ Kind regards, S. On Wed, 19 Nov 2014 at 20:48 Kevin Forchione wrote: > I’m not sure if this has been reported yet, but it seems the PF1 “search > in help desk for …” feature no longer functions with 6.1.1 for

[racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Kevin Forchione
I’m not sure if this has been reported yet, but it seems the PF1 “search in help desk for …” feature no longer functions with 6.1.1 for Mac OS X 64 bit. (I’ve not tried other platforms). Is this a setting in preferences that is no longer on? -Kevin _ Racket Developers