
Having ::
will encourage us to have fewer parameters, I bet. (Used to looking at Scala, I feel I’m seeing double.)

I think this has been answered before, but is there a programmatic way to get the list of results from https://docs.racket-lang.org/search/index.html for some query? Naively curling the page (with ?q=…
) doesn’t give useful results

@ben.knoble As far as I know the search runs in your browser. That is, there is no server API that can be reused if you need the search results elsewhere.

Check “search.js”.

The data is in “plt-index.js”

Sad :disappointed: I thought someone had solved this problem… for some reason I thought @notjack had put some thought into this, but I probably made that up

I could be wrong :slightly_smiling_face: .

Considering how many helpful little (or not-so-little) things notjack has made, it’s probably not an unreasonable thing to think :smile:


… but that doesn’t do text search. It’s binding-driven.

Ben, if you really need the same search as on the web page, you could use a headless web browser. Or perhaps better, figure out how to run the JavaScript in Node.

I’ll take a look, thanks all

My actual case only has 47 results, so I can grab the names and modules by hand and probably use xref to turn that into use-able links if I need them.

aww thanks so much you guys

Just telling it as I see it :stuck_out_tongue: