Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add more commands and sources for documentation search #13

Open
goestav opened this issue Aug 24, 2023 · 0 comments
Open

Add more commands and sources for documentation search #13

goestav opened this issue Aug 24, 2023 · 0 comments
Labels
low priority Prioritise other issues first

Comments

@goestav
Copy link
Contributor

goestav commented Aug 24, 2023

We could use devdocs as source for other docs.

For NodeJS we could use this index (Node v18 LTS) to search for terms.

Example code snippet to map the URLs to the NodeJS docs
const version = 18
const devDocsUrl = new URL("https://devdocs.io/node~18_lts/errors#err_socket_dgram_is_connected")

const filename = devDocsUrl.pathname.split('/').at(-1)
const { hash } = devDocsUrl

const nodeJsUrl = `https://nodejs.org/docs/latest-v${version}.x/api/${filename}.html${hash}`
//    ^ "https://nodejs.org/docs/latest-v18.x/api/errors.html#err_socket_dgram_is_connected"
@goestav goestav added the low priority Prioritise other issues first label Aug 24, 2023
@goestav goestav changed the title Add more sources for the documentation search Add more sources for the documentation search command Aug 24, 2023
@goestav goestav changed the title Add more sources for the documentation search command Add more commands and sources for documentation search Aug 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
low priority Prioritise other issues first
Projects
None yet
Development

No branches or pull requests

1 participant