switched to mirroring with rsync server
authorkleing
Mon Mar 06 15:24:07 2000 +0100 (2000-03-06)
changeset 8346562090b1f128
parent 8345 e708af969264
child 8347 8927067ef107
switched to mirroring with rsync server
Admin/mirror-dist
Admin/rsyncd
Admin/rsyncd.conf
     1.1 --- a/Admin/mirror-dist	Mon Mar 06 12:04:39 2000 +0100
     1.2 +++ b/Admin/mirror-dist	Mon Mar 06 15:24:07 2000 +0100
     1.3 @@ -12,7 +12,6 @@
     1.4      mkdir -p $DEST
     1.5      ;;
     1.6    *.cl.cam.ac.uk)
     1.7 -    USER=paulson
     1.8      DEST=/anfs/www/html/Research/HVG/Isabelle/dist
     1.9      ;;
    1.10    *)
    1.11 @@ -22,4 +21,4 @@
    1.12  esac
    1.13  
    1.14  rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \
    1.15 -  $USER@sunbroy30.informatik.tu-muenchen.de:/home/html/isabelle/html-data/dist/. $DEST/.
    1.16 +  rsync://sunbroy30.informatik.tu-muenchen.de:8730/isabelle-dist/. $DEST/.
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/rsyncd	Mon Mar 06 15:24:07 2000 +0100
     2.3 @@ -0,0 +1,9 @@
     2.4 +#!/bin/bash
     2.5 +#
     2.6 +# rsync server start script
     2.7 +#
     2.8 +# $Id$
     2.9 +#
    2.10 +
    2.11 +rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
    2.12 +
     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/Admin/rsyncd.conf	Mon Mar 06 15:24:07 2000 +0100
     3.3 @@ -0,0 +1,16 @@
     3.4 +#
     3.5 +# rsync server configuration
     3.6 +#
     3.7 +# $Id$
     3.8 +#
     3.9 +
    3.10 +uid = nobody 
    3.11 +gid = nobody 
    3.12 +use chroot = no 
    3.13 +log file = /usr/proj/isabelle/rsyncd.log
    3.14 +read only = true
    3.15 +
    3.16 +[isabelle-dist]
    3.17 +        path = /home/html/isabelle/html-data/dist/
    3.18 +        comment = Isabelle distribution area
    3.19 +