Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upWebsite: restore search widget #1093
Comments
marmarek
added
enhancement
C: doc
P: minor
labels
Jul 30, 2015
marmarek
added
C: website
and removed
C: doc
enhancement
P: minor
labels
Oct 12, 2015
woju
closed this
in
woju/qubesos.github.io@c690e11
Oct 13, 2015
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
andrewdavidwong
Oct 24, 2015
Member
Would this be a better way to make the website searchable? (If so, would it be enough of an improvement to merit re-opening this issue?)
|
Would this be a better way to make the website searchable? (If so, would it be enough of an improvement to merit re-opening this issue?) |
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
marmarek
Oct 24, 2015
Member
On Fri, Oct 23, 2015 at 11:12:03PM -0700, Axon wrote:
Would this be a better way to make the website searchable? (If so, would it be enough of an improvement to merit re-opening this issue?)
How to use:
- Place jekyll_indextank.rb inside the _plugins folder in the root of
your jekyll site.
Will not work on github...
Best Regards,
Marek Marczykowski-Górecki
Invisible Things Lab
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
|
On Fri, Oct 23, 2015 at 11:12:03PM -0700, Axon wrote:
Will not work on github... Best Regards, |
marmarek commentedJul 30, 2015
I guess simply partially revert QubesOS/qubesos.github.io@938ba37