Wiki Tips

Contents

Contents:

Search
Top toolbar buttons

This page covers tips for using the wiki, some of which are non-obvious so worth skimming through even as a savvy user.

Search

The search box returns results in the form of autocomplete suggestions. As it peforms a full text search it can be little sluggish on Firefox-based browsers. The results can also be navigated using keyboard arrow or tab keys.

There are a number of search operators that can be used to refine queries:

Operator	Example	Description
	`inf hook`	Spaces act as an and. Strings can be partial and still match.
`\|`	`hair \| sound`	Pipes act as an or, returning results of either string.
`""`	`"infinite heaven"`	Wrapping in double quotes returns exact match.
`!`	`inf heaven !guide`	Prefixing an exclamation mark before a string will exclude results that contain the string. To exclude multiple words wrap the string in double quotes like `!"some term"`. Keep in mind this matches also against page URLs, so if a result continues to display it may be the URL differs from the string (eg: if the string `some_term` is unique to the URL path then using `!"some term"` won’t exclude it from result, only `!"some_term"`).
`^`	`^meta`	Returns results beginning with string.
`$`	`entries$`	Returns results ending with string. Note: this can match things like tag fields that end with a particular tag.

Tip: if you still can’t find what you’re after you can try the All Pages list, where there’s a list of all pages by title and a list of all categories to browse.

At the top of every page are a row of icons. This table explains them from left to right.

Tip: for simple, text-only page edits or new pages the Prose.io buttons with the colored backgrounds are the easiest way. It just requires a single authorization with your Github account and then it can handle submissions on your behalf. For more about creating/editing pages see the Creating/Editing a Page guide.

Icon	Title	Description
	Add New Page	Reserved mostly for approved Github contributors to add a new wiki page directly to the repository. If a user who isn’t logged into Github clicks this they’ll be prompted to login. If a regular user logged into Github clicks this it will suggest forking the Github repository and submitting a pull request.
	Edit Page	Reserved mostly for approved Github contributors to edit a wiki page directly in the repository. Ditto to the non-logged in/regular user behavior.
	Page History	Displays a page’s history of edits, along with who contributed.
	Page Source	Displays the raw code used to generate the page.
	Expand Wiki Width	A toggle button that when clicked expands/contracts the width of the wiki page. Useful for viewing dense/long tables on various pages. Button only appears on non-mobile browser widths.
	More Options	Menu pop-up with customization options like light/dark theme selector. Also a delete page option for approved contributors.
	Prose.io - Add New Page	Opens prose.io where you can add a new wiki page. Requires an initial authorization of Prose with your Github account. See this page for more info.
	Prose.io - Edit Page	Opens prose.io where you can edit an a wiki page. Requires an initial authorization of Prose with your Github account. See this page for more info.

Wiki Tips

Search

Top toolbar buttons