devcontainers.github.io icon indicating copy to clipboard operation
devcontainers.github.io copied to clipboard
verified publisher icon devcontainers

Website documentation needs search functionality

Open ontoneio opened this issue 2 years ago • 2 comments

Currently as of 07-26-2023, there is no ability to search the Containers.dev website for specific reference information.

This would be a well used feature that would help better adoption of the devcontainer spec.

Seems like this is possible via Algolia.

https://dev.to/adrienjoly/make-your-static-site-searchable-with-jekyll-algolia-edh

ontoneio avatar Jul 26 '23 23:07 ontoneio

Great suggestion, thank you for filing @ontoneio! We'd definitely welcome a PR with this change 😄

bamurtaugh avatar Jul 27 '23 17:07 bamurtaugh

Also transferred to the repo backing containers.dev.

bamurtaugh avatar Jul 27 '23 17:07 bamurtaugh