Branching in Subversion

Some people want to make a branch from the GeoGebra trunk/geogebra directory. Here is the howto for the command line geek, we assume that the "prover" branch is to be created:

geek@pc:/tmp$ svn checkout --depth immediates http://www.geogebra.org/svn
A    svn/trunk
A    svn/branches
A    svn/tags
Checked out revision 14169.
geek@pc:/tmp$ cd svn/trunk
geek@pc:/tmp/svn/trunk$ svn update geogebra
A    geogebra
A    geogebra/test
A    geogebra/test/scripts
A    geogebra/test/scripts/autotest
A    geogebra/test/scripts/autotest/simpletest.out
[...]
A    geogebra/web/war/WEB-INF/web.xml
A    geogebra/web/.settings
A    geogebra/web/.settings/org.eclipse.jdt.core.prefs
A    geogebra/web/.settings/org.eclipse.jdt.ui.prefs
Updated to revision 14169.
geek@pc:/tmp/svn/trunk$ svn add ../branches/prover
A    ../branches/prover
geek@pc:/tmp/svn/trunk$ svn copy geogebra ../branches/prover/geogebra
A    ../branches/prover/geogebra
geek@pc:/tmp/svn/trunk$ cd ../branches
geek@pc:/tmp/svn/trunk$ svn commit

The result is: branches/prover. You can use the following URL in Eclipse from now on to work with your new branch: http://www.geogebra.org/svn/branches/prover/geogebra (as it is mentioned in ​SetUp, QuickStart.