replaced obsolete /usr/proj by /home;
authorwenzelm
Mon Mar 24 15:59:56 2008 +0100 (2008-03-24)
changeset 263718e4286e2bffe
parent 26370 2a4f0d0621f1
child 26372 f882403f0d56
replaced obsolete /usr/proj by /home;
Admin/isatest/settings/at-mac-poly-5.1-para
Admin/isatest/settings/at-poly
Admin/isatest/settings/at-poly-4.1.3
Admin/isatest/settings/at-poly-5.1-para-e
Admin/isatest/settings/at-poly-e
Admin/isatest/settings/at-sml
Admin/isatest/settings/at-sml-dev-e
Admin/isatest/settings/at-sml-dev-p
Admin/isatest/settings/at64-poly
Admin/isatest/settings/at64-poly-5.1-para
Admin/isatest/settings/at64-sml-dev
Admin/isatest/settings/mac-poly
Admin/isatest/settings/sun-poly
Admin/isatest/settings/sun-sml-dev
Admin/rsyncd
     1.1 --- a/Admin/isatest/settings/at-mac-poly-5.1-para	Mon Mar 24 15:59:16 2008 +0100
     1.2 +++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Mon Mar 24 15:59:56 2008 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  # -*- shell-script -*-
     1.5  
     1.6 -  POLYML_HOME="/usr/proj/polyml/polyml-cvs"
     1.7 +  POLYML_HOME="/home/polyml/polyml-cvs"
     1.8    ML_SYSTEM="polyml-5.1"
     1.9    ML_PLATFORM="x86-darwin"
    1.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     2.1 --- a/Admin/isatest/settings/at-poly	Mon Mar 24 15:59:16 2008 +0100
     2.2 +++ b/Admin/isatest/settings/at-poly	Mon Mar 24 15:59:56 2008 +0100
     2.3 @@ -1,6 +1,6 @@
     2.4  # -*- shell-script -*-
     2.5  
     2.6 -  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
     2.7 +  POLYML_HOME="/home/polyml/polyml-5.1"
     2.8    ML_SYSTEM="polyml-5.1"
     2.9    ML_PLATFORM="x86-linux"
    2.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     3.1 --- a/Admin/isatest/settings/at-poly-4.1.3	Mon Mar 24 15:59:16 2008 +0100
     3.2 +++ b/Admin/isatest/settings/at-poly-4.1.3	Mon Mar 24 15:59:56 2008 +0100
     3.3 @@ -1,6 +1,6 @@
     3.4  # -*- shell-script -*-
     3.5  
     3.6 -  POLYML_HOME="/usr/proj/polyml/polyml-4.1.3"
     3.7 +  POLYML_HOME="/home/polyml/polyml-4.1.3"
     3.8    ML_SYSTEM="polyml-4.1.3"
     3.9    ML_PLATFORM="x86-linux"
    3.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     4.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e	Mon Mar 24 15:59:16 2008 +0100
     4.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e	Mon Mar 24 15:59:56 2008 +0100
     4.3 @@ -1,6 +1,6 @@
     4.4  # -*- shell-script -*-
     4.5  
     4.6 -  POLYML_HOME="/usr/proj/polyml/polyml-cvs"
     4.7 +  POLYML_HOME="/home/polyml/polyml-cvs"
     4.8    ML_SYSTEM="polyml-5.1"
     4.9    ML_PLATFORM="x86-linux"
    4.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     5.1 --- a/Admin/isatest/settings/at-poly-e	Mon Mar 24 15:59:16 2008 +0100
     5.2 +++ b/Admin/isatest/settings/at-poly-e	Mon Mar 24 15:59:56 2008 +0100
     5.3 @@ -1,6 +1,6 @@
     5.4  # -*- shell-script -*-
     5.5  
     5.6 -  POLYML_HOME="/usr/proj/polyml/polyml-4.2.0"
     5.7 +  POLYML_HOME="/home/polyml/polyml-4.2.0"
     5.8    ML_SYSTEM="polyml-4.2.0"
     5.9    ML_PLATFORM="x86-linux"
    5.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     6.1 --- a/Admin/isatest/settings/at-sml	Mon Mar 24 15:59:16 2008 +0100
     6.2 +++ b/Admin/isatest/settings/at-sml	Mon Mar 24 15:59:56 2008 +0100
     6.3 @@ -2,7 +2,7 @@
     6.4  
     6.5  # Standard ML of New Jersey 110 or later
     6.6  ML_SYSTEM=smlnj-110.0.7
     6.7 -ML_HOME="/usr/proj/smlnj/110.0.7/bin"
     6.8 +ML_HOME="/home/smlnj/110.0.7/bin"
     6.9  ML_OPTIONS="@SMLdebug=/dev/null"
    6.10  ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    6.11  
     7.1 --- a/Admin/isatest/settings/at-sml-dev-e	Mon Mar 24 15:59:16 2008 +0100
     7.2 +++ b/Admin/isatest/settings/at-sml-dev-e	Mon Mar 24 15:59:56 2008 +0100
     7.3 @@ -2,7 +2,7 @@
     7.4  
     7.5  # Standard ML of New Jersey 110 or later
     7.6  ML_SYSTEM=smlnj
     7.7 -ML_HOME="/usr/proj/smlnj/110.67/bin"
     7.8 +ML_HOME="/home/smlnj/110.67/bin"
     7.9  ML_OPTIONS="@SMLdebug=/dev/null"
    7.10  ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    7.11  
     8.1 --- a/Admin/isatest/settings/at-sml-dev-p	Mon Mar 24 15:59:16 2008 +0100
     8.2 +++ b/Admin/isatest/settings/at-sml-dev-p	Mon Mar 24 15:59:56 2008 +0100
     8.3 @@ -2,7 +2,7 @@
     8.4  
     8.5  # Standard ML of New Jersey 110 or later
     8.6  ML_SYSTEM=smlnj
     8.7 -ML_HOME="/usr/proj/smlnj/110.60/bin"
     8.8 +ML_HOME="/home/smlnj/110.60/bin"
     8.9  ML_OPTIONS="@SMLdebug=/dev/null"
    8.10  ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    8.11  
     9.1 --- a/Admin/isatest/settings/at64-poly	Mon Mar 24 15:59:16 2008 +0100
     9.2 +++ b/Admin/isatest/settings/at64-poly	Mon Mar 24 15:59:56 2008 +0100
     9.3 @@ -1,6 +1,6 @@
     9.4  # -*- shell-script -*-
     9.5  
     9.6 -  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
     9.7 +  POLYML_HOME="/home/polyml/polyml-5.1"
     9.8    ML_SYSTEM="polyml-5.1"
     9.9    ML_PLATFORM="x86_64-linux"
    9.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    10.1 --- a/Admin/isatest/settings/at64-poly-5.1-para	Mon Mar 24 15:59:16 2008 +0100
    10.2 +++ b/Admin/isatest/settings/at64-poly-5.1-para	Mon Mar 24 15:59:56 2008 +0100
    10.3 @@ -1,6 +1,6 @@
    10.4  # -*- shell-script -*-
    10.5  
    10.6 -  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
    10.7 +  POLYML_HOME="/home/polyml/polyml-5.1"
    10.8    ML_SYSTEM="polyml-5.1"
    10.9    ML_PLATFORM="x86_64-linux"
   10.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    11.1 --- a/Admin/isatest/settings/at64-sml-dev	Mon Mar 24 15:59:16 2008 +0100
    11.2 +++ b/Admin/isatest/settings/at64-sml-dev	Mon Mar 24 15:59:56 2008 +0100
    11.3 @@ -2,7 +2,7 @@
    11.4  
    11.5  # Standard ML of New Jersey 110 or later
    11.6  ML_SYSTEM=smlnj
    11.7 -ML_HOME="/usr/proj/smlnj/110.60/bin"
    11.8 +ML_HOME="/home/smlnj/110.60/bin"
    11.9  ML_OPTIONS="@SMLdebug=/dev/null"
   11.10  ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
   11.11  
    12.1 --- a/Admin/isatest/settings/mac-poly	Mon Mar 24 15:59:16 2008 +0100
    12.2 +++ b/Admin/isatest/settings/mac-poly	Mon Mar 24 15:59:56 2008 +0100
    12.3 @@ -1,6 +1,6 @@
    12.4  # -*- shell-script -*-
    12.5  
    12.6 -  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
    12.7 +  POLYML_HOME="/home/polyml/polyml-5.1"
    12.8    ML_SYSTEM="polyml-5.1"
    12.9    ML_PLATFORM="ppc-darwin"
   12.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    13.1 --- a/Admin/isatest/settings/sun-poly	Mon Mar 24 15:59:16 2008 +0100
    13.2 +++ b/Admin/isatest/settings/sun-poly	Mon Mar 24 15:59:56 2008 +0100
    13.3 @@ -1,6 +1,6 @@
    13.4  # -*- shell-script -*-
    13.5  
    13.6 -  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
    13.7 +  POLYML_HOME="/home/polyml/polyml-5.1"
    13.8    ML_SYSTEM="polyml-5.1"
    13.9    ML_PLATFORM="sparc-solaris"
   13.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    14.1 --- a/Admin/isatest/settings/sun-sml-dev	Mon Mar 24 15:59:16 2008 +0100
    14.2 +++ b/Admin/isatest/settings/sun-sml-dev	Mon Mar 24 15:59:56 2008 +0100
    14.3 @@ -2,7 +2,7 @@
    14.4  
    14.5  # Standard ML of New Jersey 110 or later
    14.6  ML_SYSTEM=smlnj-110
    14.7 -ML_HOME="/usr/proj/smlnj/110.60/bin"
    14.8 +ML_HOME="/home/smlnj/110.60/bin"
    14.9  ML_OPTIONS="@SMLdebug=/dev/null"
   14.10  ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
   14.11  
    15.1 --- a/Admin/rsyncd	Mon Mar 24 15:59:16 2008 +0100
    15.2 +++ b/Admin/rsyncd	Mon Mar 24 15:59:56 2008 +0100
    15.3 @@ -5,5 +5,5 @@
    15.4  # $Id$
    15.5  #
    15.6  
    15.7 -rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
    15.8 +rsync --daemon --config=/home/isabelle/rsyncd.conf --port=8730
    15.9