Help.page 9.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325
  1. # Navigating
  2. The most natural way of navigating is by clicking wiki links that
  3. connect one page with another. The "Front page" link in the navigation
  4. bar will always take you to the Front Page of the wiki. The "All pages"
  5. link will take you to a list of all pages on the wiki (organized into
  6. folders if directories are used). Alternatively, you can search using
  7. the search box. Note that the search is set to look for whole words, so
  8. if you are looking for "gremlins", type that and not "gremlin".
  9. The "go" box will take you directly to the page you type.
  10. # Creating and modifying pages
  11. ## Registering for an account
  12. In order to modify pages, you'll need to be logged in. To register
  13. for an account, just click the "register" button in the bar on top
  14. of the screen. You'll be asked to choose a username and a password,
  15. which you can use to log in in the future by clicking the "login"
  16. button. While you are logged in, these buttons are replaced by
  17. a "logout so-and-so" button, which you should click to log out
  18. when you are finished.
  19. Note that logins are persistent through session cookies, so if you
  20. don't log out, you'll still be logged in when you return to the
  21. wiki from the same browser in the future.
  22. ## Editing a page
  23. To edit a page, just click the "edit" button at the bottom right corner
  24. of the page.
  25. You can click "Preview" at any time to see how your changes will look.
  26. Nothing is saved until you press "Save."
  27. Note that you must provide a description of your changes. This is to
  28. make it easier for others to see how a wiki page has been changed.
  29. ## Page metadata
  30. Pages may optionally begin with a metadata block. Here is an example:
  31. ---
  32. format: latex+lhs
  33. categories: haskell math
  34. toc: no
  35. title: Haskell and
  36. Category Theory
  37. ...
  38. \section{Why Category Theory?}
  39. The metadata block consists of a list of key-value pairs, each on a
  40. separate line. If needed, the value can be continued on one or more
  41. additional line, which must begin with a space. (This is illustrated by
  42. the "title" example above.) The metadata block must begin with a line
  43. `---` and end with a line `...` optionally followed by one or more blank
  44. lines.
  45. Currently the following keys are supported:
  46. format
  47. : Overrides the default page type as specified in the configuration file.
  48. Possible values are `markdown`, `rst`, `latex`, `html`, `markdown+lhs`,
  49. `rst+lhs`, `latex+lhs`. (Capitalization is ignored, so you can also
  50. use `LaTeX`, `HTML`, etc.) The `+lhs` variants indicate that the page
  51. is to be interpreted as literate Haskell. If this field is missing,
  52. the default page type will be used.
  53. categories
  54. : A space or comma separated list of categories to which the page belongs.
  55. toc
  56. : Overrides default setting for table-of-contents in the configuration file.
  57. Values can be `yes`, `no`, `true`, or `false` (capitalization is ignored).
  58. title
  59. : By default the displayed page title is the page name. This metadata element
  60. overrides that default.
  61. ## Creating a new page
  62. To create a new page, just create a wiki link that links to it, and
  63. click the link. If the page does not exist, you will be editing it
  64. immediately.
  65. ## Reverting to an earlier version
  66. If you click the "history" button at the bottom of the page, you will
  67. get a record of previous versions of the page. You can see the differences
  68. between two versions by dragging one onto the other; additions will be
  69. highlighted in yellow, and deletions will be crossed out with a horizontal
  70. line. Clicking on the description of changes will take you to the page
  71. as it existed after those changes. To revert the page to the revision
  72. you're currently looking at, just click the "revert" button at the bottom
  73. of the page, then "Save".
  74. ## Deleting a page
  75. The "delete" button at the bottom of the page will delete a page. Note
  76. that deleted pages can be recovered, since a record of them will still be
  77. accessible via the "activity" button on the top of the page.
  78. # Uploading files
  79. To upload a file--a picture, a PDF, or some other resource--click the
  80. "upload" button in the navigation bar. You will be prompted to select
  81. the file to upload. As with edits, you will be asked to provide a
  82. description of the resource (or of the change, if you are overwriting
  83. an existing file).
  84. Often you may leave "Name on wiki" blank, since the existing name of the
  85. file will be used by default. If that isn't desired, supply a name.
  86. Note that uploaded files *must* include a file extension (e.g. `.pdf`).
  87. If you are providing a new version of a file that already exists on the
  88. wiki, check the box "Overwrite existing file." Otherwise, leave it
  89. unchecked.
  90. To link to an uploaded file, just use its name in a regular wiki link.
  91. For example, if you uploaded a picture `fido.jpg`, you can insert the
  92. picture into a (markdown-formatted) page as follows: `![fido](fido.jpg)`.
  93. If you uploaded a PDF `projection.pdf`, you can insert a link to it
  94. using: `[projection](projection.pdf)`.
  95. # Markdown
  96. This wiki's pages are written in [pandoc]'s extended form of [markdown].
  97. If you're not familiar with markdown, you should start by looking
  98. at the [markdown "basics" page] and the [markdown syntax description].
  99. Consult the [pandoc User's Guide] for information about pandoc's syntax
  100. for footnotes, tables, description lists, and other elements not present
  101. in standard markdown.
  102. [pandoc]: http://johnmacfarlane.net/pandoc
  103. [pandoc User's Guide]: http://johnmacfarlane.net/pandoc/README.html
  104. [markdown]: http://daringfireball.net/projects/markdown
  105. [markdown "basics" page]: http://daringfireball.net/projects/markdown/basics
  106. [markdown syntax description]: http://daringfireball.net/projects/markdown/syntax
  107. Markdown is pretty intuitive, since it is based on email conventions.
  108. Here are some examples to get you started:
  109. <table>
  110. <tr>
  111. <td>`*emphasized text*`</td>
  112. <td>*emphasized text*</td>
  113. </tr>
  114. <tr>
  115. <td>`**strong emphasis**`</td>
  116. <td>**strong emphasis**</td>
  117. </tr>
  118. <tr>
  119. <td>`` `literal text` ``</td>
  120. <td>`literal text`</td>
  121. </tr>
  122. <tr>
  123. <td>`\*escaped special characters\*`</td>
  124. <td>\*escaped special characters\*</td>
  125. </tr>
  126. <tr>
  127. <td>`[external link](http://google.com)`</td>
  128. <td>[external link](http://google.com)</td>
  129. </tr>
  130. <tr>
  131. <td>`![folder](/img/icons/folder.png)`</td>
  132. <td>![folder](/img/icons/folder.png)</td>
  133. </tr>
  134. <tr>
  135. <td>Wikilink: `[Front Page]()`</td>
  136. <td>Wikilink: [Front Page]()</td>
  137. </tr>
  138. <tr>
  139. <td>`H~2~O`</td>
  140. <td>H~2~O</td>
  141. </tr>
  142. <tr>
  143. <td>`10^100^`</td>
  144. <td>10^100^</td>
  145. </tr>
  146. <tr>
  147. <td>`~~strikeout~~`</td>
  148. <td>~~strikeout~~</td>
  149. </tr>
  150. <tr>
  151. <td>
  152. `$x = \frac{{ - b \pm \sqrt {b^2 - 4ac} }}{{2a}}$`
  153. </td>
  154. <td>
  155. $x = \frac{{ - b \pm \sqrt {b^2 - 4ac} }}{{2a}}$^[If this looks like
  156. code, it's because jsMath is
  157. not installed on your system. Contact your administrator to request it.]
  158. </td>
  159. </tr>
  160. <tr>
  161. <td>
  162. `A simple footnote.^[Or is it so simple?]`
  163. </td>
  164. <td>
  165. A simple footnote.^[Or is it so simple?]
  166. </td>
  167. </tr>
  168. <tr>
  169. <td>
  170. <pre>
  171. > an indented paragraph,
  172. > usually used for quotations
  173. </pre>
  174. </td>
  175. <td>
  176. > an indented paragraph,
  177. > usually used for quotations
  178. </td>
  179. <tr>
  180. <td>
  181. <pre>
  182. #!/bin/sh -e
  183. # code, indented four spaces
  184. echo "Hello world"
  185. </pre>
  186. </td>
  187. <td>
  188. #!/bin/sh -e
  189. # code, indented four spaces
  190. echo "Hello world"
  191. </td>
  192. </tr>
  193. <tr>
  194. <td>
  195. <pre>
  196. * a bulleted list
  197. * second item
  198. - sublist
  199. - and more
  200. * back to main list
  201. 1. this item has an ordered
  202. 2. sublist
  203. a) you can also use letters
  204. b) another item
  205. </pre>
  206. </td>
  207. <td>
  208. * a bulleted list
  209. * second item
  210. - sublist
  211. - and more
  212. * back to main list
  213. 1. this item has an ordered
  214. 2. sublist
  215. a) you can also use letters
  216. b) another item
  217. </td>
  218. </tr>
  219. <tr>
  220. <td>
  221. <pre>
  222. Fruit Quantity
  223. -------- -----------
  224. apples 30,200
  225. oranges 1,998
  226. pears 42
  227. Table: Our fruit inventory
  228. </pre>
  229. </td>
  230. <td>
  231. Fruit Quantity
  232. -------- -----------
  233. apples 30,200
  234. oranges 1,998
  235. pears 42
  236. Table: Our fruit inventory
  237. </td>
  238. </tr>
  239. </table>
  240. For headings, prefix a line with one or more `#` signs: one for a major heading,
  241. two for a subheading, three for a subsubheading. Be sure to leave space before
  242. and after the heading.
  243. # Markdown
  244. Text...
  245. ## Some examples...
  246. Text...
  247. ## Wiki links
  248. Links to other wiki pages are formed this way: `[Page Name]()`.
  249. (Gitit converts markdown links with empty targets into wikilinks.)
  250. To link to a wiki page using something else as the link text:
  251. `[something else](Page Name)`.
  252. Note that page names may contain spaces and some special characters.
  253. They need not be CamelCase. CamelCase words are *not* automatically
  254. converted to wiki links.
  255. Wiki pages may be organized into directories. So, if you have
  256. several pages on wine, you may wish to organize them like so:
  257. Wine/Pinot Noir
  258. Wine/Burgundy
  259. Wine/Cabernet Sauvignon
  260. Note that a wiki link `[Burgundy]()` that occurs inside the `Wine`
  261. directory will link to `Wine/Burgundy`, and not to `Burgundy`.
  262. To link to a top-level page called `Burgundy`, you'd have to use
  263. `[Burgundy](/Burgundy)`.
  264. To link to a directory listing for a subdirectory, use a trailing
  265. slash: `[Wine/]()` will link to a listing of the `Wine` subdirectory.