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.

Sign up for GitHub

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

Jump to bottom

Site needs search #208

Closed
jennybc opened this issue Aug 24, 2018 · 4 comments
Closed

Site needs search #208

jennybc opened this issue Aug 24, 2018 · 4 comments
Labels
feature a feature request or enhancement

Comments

@jennybc
Copy link
Member

jennybc commented Aug 24, 2018

No description provided.

@batpigandme
Copy link
Collaborator

Agreed. The blogdown theme I use came with search pre-included, but are there any preferences re. which search implementation we should use (embeddable script, vs one of the hugo indexing tools)?
https://gohugo.io/tools/search/

@jennybc
Copy link
Member Author

jennybc commented Aug 24, 2018

This is not my wheelhouse so I hope someone else can help think this through

@batpigandme batpigandme added feature a feature request or enhancement and removed tidy-dev-day 🤓 labels Feb 22, 2019
@batpigandme batpigandme mentioned this issue Sep 11, 2019
Closed
4 tasks
@batpigandme
Copy link
Collaborator

Per discussion with @hadley, turns out we actually don't want this!

@batpigandme batpigandme reopened this Sep 18, 2019
@hadley
Copy link
Member

hadley commented Apr 3, 2020

Closing, since I really don't think we want to bother with search at this time.

@hadley hadley closed this as completed Apr 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature a feature request or enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@hadley @jennybc @batpigandme