1.1 --- a/Admin/Mercurial/convert	Mon Aug 25 23:27:56 2008 +0200
     1.2 +++ b/Admin/Mercurial/convert	Tue Aug 26 11:42:46 2008 +0200
     1.3 @@ -19,13 +19,13 @@
     1.4  case $(hostname) in
     1.5  
     1.6  atbroy51)
     1.7 -export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
     1.8 -export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/lib/python2.4/site-packages
     1.9 +export HG=/home/isabelle-repository/repos/mercurial-atbroy51/bin/hg
    1.10 +export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy51/lib/python2.4/site-packages
    1.11  ;;
    1.12  
    1.13  atbroy100)
    1.14 -export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
    1.15 -export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/lib64/python2.4/site-packages
    1.16 +export HG=/home/isabelle-repository/repos/mercurial-atbroy100/bin/hg
    1.17 +export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy100/lib64/python2.4/site-packages
    1.18  ;;
    1.19  
    1.20  esac

     2.1 --- a/Admin/Mercurial/hgrc	Mon Aug 25 23:27:56 2008 +0200
     2.2 +++ b/Admin/Mercurial/hgrc	Tue Aug 26 11:42:46 2008 +0200
     2.3 @@ -2,7 +2,7 @@
     2.4  hgext.convert =
     2.5  
     2.6  [convert]
     2.7 -cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
     2.8 +cvsps = /home/isabelle-repository/repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
     2.9  
    2.10  [web]
    2.11  style = isabelle

     3.1 --- a/Admin/Mercurial/hgwebdir.cgi	Mon Aug 25 23:27:56 2008 +0200
     3.2 +++ b/Admin/Mercurial/hgwebdir.cgi	Tue Aug 26 11:42:46 2008 +0200
     3.3 @@ -4,7 +4,7 @@
     3.4  
     3.5  # adjust python path if not a system-wide install:
     3.6  import sys
     3.7 -sys.path.insert(0, "/home/isabelle/html-data/isabelle-repos/mercurial-www4/lib64/python2.4/site-packages")
     3.8 +sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-www4/lib64/python2.4/site-packages")
     3.9  
    3.10  # enable importing on demand to reduce startup time
    3.11  from mercurial import demandimport; demandimport.enable()
    3.12 @@ -43,5 +43,5 @@
    3.13  # Alternatively you can pass a list of ('virtual/path', '/real/path') tuples
    3.14  # or use a dictionary with entries like 'virtual/path': '/real/path'
    3.15  
    3.16 -application = hgwebdir('/home/isabelle/html-data/isabelle-repos/hgweb.config')
    3.17 +application = hgwebdir('/home/isabelle-repository/repos/hgweb.config')
    3.18  wsgicgi.launch(application)

     4.1 --- a/Admin/Mercurial/logrotate.conf	Mon Aug 25 23:27:56 2008 +0200
     4.2 +++ b/Admin/Mercurial/logrotate.conf	Tue Aug 26 11:42:46 2008 +0200
     4.3 @@ -1,6 +1,6 @@
     4.4  # $Id$
     4.5  
     4.6 -/home/isabelle/html-data/isabelle-repos/log {
     4.7 +/home/isabelle-repository/repos/log {
     4.8    compress
     4.9    nomail
    4.10    daily