Differences

This shows you the differences between two versions of the page.

--- contrib:secondo_installation_manual_unibz [2006/09/14 10:45] – minnerebner
+++ contrib:secondo_installation_manual_unibz [2019/01/16 10:03] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
 ====== Secondo Installation Manual @ UNIBZ ======
-This document briefly describes [[http://www.informatik.fernuni-hagen.de/import/pi4/Secondo.html/|Secondo DBMS]] installation for Kubuntu Linux 6.06 Dapper Drake. If any important detail is missing, please inform [[http://wis.unibz.it/staff/staff_detail.asp?LanguageID=EN&type=coll&c_id=6499|me]] via e-mail kasperovics(a]inf.unibz.it and I will correct this manual.
+This document briefly describes [[http://www.informatik.fernuni-hagen.de/import/pi4/Secondo.html/|Secondo DBMS]] installation for Kubuntu Linux 6.06 Dapper Drake. If any important detail is missing, please inform [[http://wis.unibz.it/staff/staff_detail.asp?LanguageID=EN&type=coll&c_id=6499|me]] via e-mail kasperovics(a]inf.unibz.it or add it yourself, if you have appropriate access permissions.
 ==== Install Necessary Packages ====
@@ Line 31: / Line 31: @@
 ==== Download from SVN ====
-There are different ways how you can download something from SVN repository. I prefer graphical applications and Eclipse plugin "Subclipse" is the best I have found for Linux. However, the use a command-line tool ''svn'' probably is more common.
+There are different ways how you can download anything from an SVN repository. I prefer graphical environments and Eclipse plugin "Subclipse" is the best I have found for Linux. However, the use a command-line tool ''svn'' probably is more common. For this purpose you might wish to assign a path to Secondo SVN repository to an environment variable. This could be done in the following way:
-=== Login setup ===
-If your linux login match your login in UNIBZ domain, you don't have to read this section. Otherwise you have to do the following trick:
 <code>
-echo "Host babbage.inf.unibz.it" >> ~/.ssh/config
+echo "SECSVN=\"https://babbage.inf.unibz.it/dis/secondo\"" >> ~/.bashrc
-echo "User your_windows_login" >>  ~/.ssh/config
 </code>
-You might wish to assign a path to Subversion repository to environment variable. This could be done in the following way:
-<code>
-echo "SECSVN=\"svn+ssh://babbage.inf.unibz.it/var/lib/svn/dis/research/secondo\"" >> ~/.bashrc
-</code>
-=== Checkout and Update ===
 The following command is used to list the content of the repository:</p>
@@ Line 56: / Line 43: @@
 </code>
-Note, that password might be required twice or even more. If you have a solution to this, please let me know. To checkout a repository directory ''secondo/'' to a current directory use the command:
+This command should ask you your password to the Secondo SVN repository, assuming that your linux account matches to your repository account. If it is not so, press ''ctrl+c'' and enter your repository account. To checkout a repository directory ''secondo/'' to a current directory use the command:
 <code>
@@ Line 64: / Line 51: @@
 </code>
-You can synchronize your previously checked out local copy with the current repository using ''update'' command.
+You can synchronize your previously checked out local copy with the current repository using ''svn update'' command.
+**NEW:** Since 11.01.2007 the location of the repository has changed. If you have some work in your local copy from the old repository, do this:
+<code>
+cd ~/workspace/secondo
+svn switch --relocate svn+ssh://babbage.inf.unibz.it/var/lib/svn/dis/research/secondo https://babbage.inf.unibz.it/dis/secondo
+</code>
 ==== Set Compilation and Operation Pathes ====
@@ Line 75: / Line 69: @@
 export BERKELEY_DB_LIB="db_cxx"
 export BERKELEY_DB_DIR=/usr
-export J2SDK_ROOT=/usr/lib/jvm/java-1.5.0-sun-1.5.0.06
+export J2SDK_ROOT=/usr/lib/jvm/java-1.5.0-sun
 export SWI_HOME_DIR=/usr/lib/swi-prolog
 export PL_LIB_DIR=$SWI_HOME_DIR/runtime/i386
@@ Line 98: / Line 92: @@
 <code>
-sudo echo "JAVA_HOME=/usr/lib/jvm/java-1.5.0-sun-1.5.0.06" >> /etc/environment
+sudo echo "JAVA_HOME=/usr/lib/jvm/java-1.5.0-sun" >> /etc/environment
 </code>