Howto clone a repository

Example system used: Cinnamon on Ubuntu with demo repository and Tomcat6 as servlet container:

Stop tomcat6:

sudo service tomcat6 stop

Copy the content and fix ownership:

cp -rv /home/cinnamon/cinnamon-data/demo /home/cinnamon/cinnamon-data/demo2
sudo chown -Rv tomcat6:tomcat6 /home/cinnamon/cinnamon-data/texolution

Copy the index files and fix ownership:

cp -rv /home/cinnamon/cinnamon-system/index/demo /home/cinnamon/cinnamon-system/index/demo2
sudo chown -Rv tomcat6:tomcat6 /home/cinnamon/cinnamon-system/index/texolution

In cinnamon_config.xml:

• copy the repository node and its children of the source repository
• rename the copy of the repository node to the target name

In dandelion-config.groovy and illicium-config.groovy:

• copy the repository section
• change the name of the section
  
• change the prefix value
  
• change the dbname value
  
• change the id (must be unique!)

Copy the repository database:

pg_dump demo > demo.sql
sudo su postgres
psql
create database demo2 owner cinnamon;
\q
psql demo2 -f demo.sql
exit

Start Tomcat anew:

sudo service tomcat6 start