Merge pull request #11 from vagos/doc-search

Add urbit dev docs search source
This commit is contained in:
Evangelos Lamprou 2023-10-23 18:06:49 +02:00 committed by GitHub
commit 13363fd8bc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 31 additions and 1 deletions

View File

@ -1,5 +1,5 @@
/- *seax
/+ engines-yep, engines-crowdview, engines-wiby, engines-alexandria
/+ engines-yep, engines-crowdview, engines-wiby, engines-alexandria, engines-urbit-dev
^- engines
@ -10,5 +10,6 @@
[name=%crowdview engine=engines-crowdview weight=.2]
[name=%wiby engine=engines-wiby weight=.2]
[name=%alexandria engine=engines-alexandria weight=.2]
[name=%urbit-dev engine=engines-urbit-dev weight=.2]
==

View File

@ -0,0 +1,29 @@
/- *seax
^- engine
=<
|%
++ url
|= query=tape
^- tape
%+ weld
"https://urbit.org/api/dev-search?q="
(en-urlt:html query)
++ results
|= response=mime-data:iris
^- (unit (list search-result))
=/ body q.data.response
;< jon=json _biff (de:json:html body)
(apex jon)
--
::
|%
++ apex
=, dejs-soft:format
%- ot
~[glossary+(ar parse-search-result)]
++ parse-search-result
=, dejs-soft:format
%- ot
~[[%'name' so] [%'url' so]]
--