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

Suchfunktionallität hinzufügen #10

Open

raphiz opened this issue Mar 21, 2016 · 1 comment

Labels

feature

Contributor

raphiz commented Mar 21, 2016

Eine Suchfunktion ist immer net - bin mir nicht ganz sicher ob wir das wirklich brauchen - was meint ihr?
Ist wahrscheinlich eher etwas für später...

Ich habe gute Erfahrungen mit jekyll-lunr-js-search gemacht. Ist sehr cool - bringt aber etwas Overhead mit sich...

Member

fabianhauser commented Mar 21, 2016

Für den Start haben wir noch nicht so viele Dokus, von daher aus meiner Sicht nicht so kritisch.

Aber später, wenn es viele gleichartige Seiten (Dokus) gibt, wird das sicher praktisch. Z.B. nutze ich das öfter bei Wikipedia.

fabianhauser added the feature label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment