From maeder at tzi.de Fri Jun 15 17:23:23 2007 From: maeder at tzi.de (Christian Maeder) Date: Fri, 15 Jun 2007 17:23:23 +0200 Subject: [Hets-devel] switch from cvs to svn Message-ID: <4672AEEB.7030307@tzi.de> Dear Hets Developpers, we are going to switch change management of our sources from cvs to svn. You'll have time to commit your changes via cvs until next Friday noon 2007-06-22 14:00. Afterwards (at least write) access will be disabled. The next day you'll have access via Subversion (svn). 1.) You'll initially checkout with: svn checkout \ https://$USER at svn-agbkb.informatik.uni-bremen.de/Hets/trunc Hets 2.) you query the state of your (modified) sources by svn status 3.) Bring your working copy up-to-date by: svn update 4.) If you get conflicts you have to edit the corresponding files manually (like in cvs) but you also have to tell svn that you resolved the conflicts by: svn resolve 5.) commit your changes by: svn commit Be careful with 'svn add' since this may add a complete directory tree. (Note that revision numbers do no increase individually for every file but for the whole tree.) See http://svnbook.red-bean.com/nightly/en/svn.forcvs.html Currently there is a read-only svn version (for you to look at) of Hets (formerly HetCATS) from 2007-06-13 that will be replaced next Friday. https://svn-agbkb.informatik.uni-bremen.de/viewcvs/Hets/ Also uni and CASL-lib will be converted to svn (CASL-lib will be found under Hets-lib) Trac is not integrated at all with cvs. With svn a repository browser will be available. Other advantages of svn are that directories have versions and only all or no changes will be committed (as atomic action). Furthermore some commands (diff, revert, status) do not need network access. Cheers Christian -- _______________________________________________________________ Dr. Christian Maeder Hausadresse: DFKI-Labor Bremen Universit?t Bremen Sichere Kognitive Systeme Cartesium 02.053 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 28359 Bremen 28359 Bremen http://www.dfki.de/sks www.informatik.uni-bremen.de/~maeder Telefon: +49 (421) 218-64227 Telefax: +49 (421) 218-9864227 E-Mail: Christian.Maeder at dfki.de _______________________________________________________________ Deutsches Forschungszentrum f?r K?nstliche Intelligenz GmbH Firmensitz: Trippstadter Stra?e 122, D-67663 Kaiserslautern Gesch?ftsf?hrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 From maeder at tzi.de Thu Jun 21 13:38:17 2007 From: maeder at tzi.de (Christian Maeder) Date: Thu, 21 Jun 2007 13:38:17 +0200 Subject: [Hets-devel] trac and svn Message-ID: <467A6329.205@tzi.de> Dear Hetters, Our trac system now uses the userids and passwords of our future svn repository. The userids and passwords for svn will be those of cvs where a leading digit has been removed from the userid. http://trac.informatik.uni-bremen.de:8080/hets/ In case that you don't know your cvs password any more, please create a new encrypted one and send it to me. Use htpasswd2, htpasswd (in /usr/sbin/) or HetCATS/utils/mkcrypt.pl to create an encrypted password. (Do not use the same password that you use for more critical purposes, but also don't choose a guessable one) Cheers Christian From maeder at tzi.de Fri Jun 22 15:50:33 2007 From: maeder at tzi.de (Christian Maeder) Date: Fri, 22 Jun 2007 15:50:33 +0200 Subject: [Hets-devel] switch from cvs to svn In-Reply-To: <4672AEEB.7030307@tzi.de> References: <4672AEEB.7030307@tzi.de> Message-ID: <467BD3A9.8060607@tzi.de> Dear Hetters, the old cvs repositories have been switched off and have been converted to svn repositories. Meanwhile the svn repositories are up and running. They can be viewed under: https://svn-agbkb.informatik.uni-bremen.de/viewcvs/Hets/ https://svn-agbkb.informatik.uni-bremen.de/viewcvs/Hets-lib/ Note that HetCATS has been renamed to Hets and CASL-lib to Hets-lib and that "trunk" is the main branch to work on. As password for your svn login your old cvs password can be used. In case that you don't know your cvs password any more, please create a new encrypted one and send it to me (maeder_at_tzi.de). Use htpasswd2, htpasswd (in /usr/sbin/) or HetCATS/utils/mkcrypt.pl to create an encrypted password. svn source code browsing via our Trac system http://trac.informatik.uni-bremen.de:8080/hets/ will be made possible later (next week). (our svn repositories need to be based on FSFS rather than BDB) Please report problems or help to update our web-pages. Happy Hacking Christian I previously wrote: > 1.) You'll initially checkout with: > > svn checkout \ > https://$USER at svn-agbkb.informatik.uni-bremen.de/Hets/trunc Hets > > 2.) you query the state of your (modified) sources by > > svn status > > 3.) Bring your working copy up-to-date by: > > svn update > > 4.) If you get conflicts you have to edit the corresponding files > manually (like in cvs) but you also have to tell svn that you resolved > the conflicts by: > > svn resolve > > 5.) commit your changes by: > > svn commit > > Be careful with 'svn add' since this may add a complete directory tree. > > (Note that revision numbers do not increase individually for every file > but for the whole tree.) > See http://svnbook.red-bean.com/nightly/en/svn.forcvs.html > > Trac is not integrated at all with cvs. With svn a repository browser > will be available. > > Other advantages of svn are that directories have versions and only > all or no changes will be committed (as atomic action). Furthermore some > commands (diff, revert, status) do not need network access. From maeder at tzi.de Fri Jun 22 16:17:02 2007 From: maeder at tzi.de (Christian Maeder) Date: Fri, 22 Jun 2007 16:17:02 +0200 Subject: [Hets-devel] svn checkout In-Reply-To: <467BD3A9.8060607@tzi.de> References: <4672AEEB.7030307@tzi.de> <467BD3A9.8060607@tzi.de> Message-ID: <467BD9DE.6030502@tzi.de> Christian Maeder schrieb: >> 1.) You'll initially checkout with: >> >> svn checkout \ >> https://$USER-RHGa9NurFhsaF5pqeP1w7Yl4pjfAw2f/+7uqrRFzLbqELgA04lAiVw at public.gmane.org/Hets/trunc Hets it must be "trunk" (not trunc) svn co https://$USER at svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets see also: http://trac.informatik.uni-bremen.de:8080/hets/wiki/RepositoryAccess C. From maeder at tzi.de Mon Jun 25 12:20:55 2007 From: maeder at tzi.de (Christian Maeder) Date: Mon, 25 Jun 2007 12:20:55 +0200 Subject: [Hets-devel] short svn unavailability Tue 26th morning In-Reply-To: <467BD3A9.8060607@tzi.de> References: <4672AEEB.7030307@tzi.de> <467BD3A9.8060607@tzi.de> Message-ID: <467F9707.1080308@tzi.de> Christian Maeder schrieb: > svn source code browsing via our Trac system > http://trac.informatik.uni-bremen.de:8080/hets/ > will be made possible later (next week). > (our svn repositories need to be based on FSFS rather than BDB) Therefore our svn server will be down for about an hour tomorrow morning (starting 8:15) C. From luettich at tzi.de Mon Jun 25 14:44:49 2007 From: luettich at tzi.de (Klaus Luettich) Date: Mon, 25 Jun 2007 14:44:49 +0200 Subject: [Hets-devel] Renaming of files regarding Logic SoftFOL Message-ID: <467FB8C1.7050603@tzi.de> Dear all, I will rename the directory SPASS and the files SPASS.hs and SPASS/*SPASS* into names containing the actual name of the Logic: SoftFOL at Tuesday 2007-June-26 18:00 (6pm) If you have any local changes that might conflict with this renaming please commit them before this date or make sure to commit them afterwards to the renamed files. Cheers, Klaus