Getting Started with Subversion at KWARC

• study  http://svnbook.red-bean.com/
• Contact your supervisor to see which of the below repositories you should check out

  svn co https://svn.kwarc.info/repos/kwarc
  svn co https://svn.kwarc.info/repos/stex
  svn co https://svn.kwarc.info/repos/supervision
  svn co https://svn.kwarc.info/repos/teaching
  svn co https://svn.kwarc.info/repos/{your-repos}
  svn co https://svn.omdoc.org/repos/omdoc
  svn co https://svn.omdoc.org/repos/jomdoc
  

• You should find a central place to maintain these repositories and do regular updates!!! e.g., check out all kwarc.info repositories in /home/{xxx}/vc/svn/kwarc.info and all omdoc.org repositories at /home/{xxx}/vc/svn/omdoc.org
• to edit svn properties (setting ignore properties or adding external definitions) you should set an editor, e.g., add "export EDITOR=/usr/bin/vi" to your .bashrc
• setting svn-ignore properties:

  *.vrb
  *.lof
  *.lot
  *.cut
  *.ilg
  *.ind
  *.blg
  *.bbl
  *.pdf
  *.log
  *.out
  *.backup
  *.aux
  *.toc
  *.*~
  *.dvi
  *.idx
  *.snm
  *.nav
  auto