Computer Pages
Table of Contents
Editing these pages
Markup
These pages are written using Org Mode in Emacs. Org Mode features a simple yet powerful markup language similar to many wiki languages (results):
#+INCLUDE markup.org src org
For the basic syntax of other things, just see the source code of the wiki files, for example the main page: #+INCLUDE markup.org src org For a markup reference see http://orgmode.org/manual/Markup.html, for a more thorough introduction, see the compact Org-mode guide.
Although Org files are basic text, it is strongly recommended to use a proper editor, such as Emacs (builtin org support) or the Vim (support by VimOrganizer).
Getting the files and committing changes
Clone the repository, edit and push the changes back:
git clone ssh://raimund.physik.uni-leipzig.de/home/wiki/git wiki
The repository will be cloned into a subdirectory wiki
in your
current working directory. If the host raimund
cannot be
reached, it can be replaced by any other hostname valid in the ITP
(see the workstation table).
After making changes to files, add them to the staging area, commit your changes and push them back to the repository:
git add editing.org
git commit -m "changed the editing instructions"
git push
The next time, the repository is already present and only an
invocation of git pull
is needed to perform another edit:
git pull # edit something git add editing.org git commit -m "changed also the second part of the editing/committing example" git push
After committing changes, the web pages are automatically updated. A check for updates is performed every 5 minutes.