Wiki Howto
You’ll need a place to work. Your home directory is fine:
cd ~
Clone the wiki repository. This creates a local copy in your current directory named
wiki
:git clone ~wiki
Go into that directory:
cd wiki
Edit the textfiles, they are in a human-friendly
markdown
format. do whatever.Run
make
to convert the.text
file into.html
applying the wiki’s default template (seepage.theme
)Select which of your changes should be committed:
git add mynewfile.text mynewfile.html index.html mychangedfile.html (... etc.) git rm filetodelete.html
Use
git status
to make sure you got all the changes you want marked selected for commit.Create the commit. Describe the changes in quotes after -m:
git commit -m "minor improvements to git instructions"
Push the commit up to the original repository:
git push
(If somebody else happened to make changes at the same time you did, then git might complain. That’s okay! Usually you can fix it with
git pull
. If you have trouble, ask in IRC!)A git hook will automatically apply your changes; you should see them appear at http://tilde.town/~wiki/
- If you want, you can delete the clone of the wiki that you created earlier.
Navigation Bar
To add a link to the wiki navigation bar, edit the file navigation
and add an item
to the unordered list inside. Save, exit the editor, and enter make
. The new link
will appear in all wiki HTML files generated from that time onward.
*(Meaning the link will not appear on a page unless its HTML file is regenerated,
whether or not a change is made to its source text file. You can force the HTML file
for a page to be regenerated by either editing its text file or using the command
touch
to make it appear that the text file has been updated, then running make
. To force regeneration of every page, run make -B
. Note that this will update the “last modified” text on every page, so use it sparingly, or don’t commit the updated “last modified” text.