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.

Created: 2020-07-14 Tue 16:03

Validate