gknauth
2021-11-10 19:41:31

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


ben.knoble
2021-11-10 20:45:04

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


soegaard2
2021-11-10 20:49:38

@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.


soegaard2
2021-11-10 20:49:55

Check “search.js”.


soegaard2
2021-11-10 20:50:39

The data is in “plt-index.js”


ben.knoble
2021-11-10 20:55:34

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


soegaard2
2021-11-10 20:56:08

I could be wrong :slightly_smiling_face: .


jcoo092
2021-11-10 20:56:32

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



mflatt
2021-11-10 20:58:15

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


soegaard2
2021-11-10 21:01:07

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.


ben.knoble
2021-11-10 21:17:14

I’ll take a look, thanks all


ben.knoble
2021-11-10 21:18:01

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.


notjack
2021-11-10 21:45:52

aww thanks so much you guys


jcoo092
2021-11-10 21:46:10

Just telling it as I see it :stuck_out_tongue: