blob: 54aca8ff9a4ee8dea32b5faeddf5d752cabc3081 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#
# Publish files to Informatics web server.
#
# Requires permissions in /group/project/proofgeneral
#
# $Id$
#
# FIXME: we want to have --delete and --delete-excluded in sync,
# but yet preserve ProofGeneral-* (distribs). How to do that?
# Might be better to put distribs elsewhere.
PWD=`pwd`
IGNOREDWEBFILES=*~,*.NOEXPORT,CVS/,/test/,/test/*,/tmp,/tmp/*,/Makefile,.cvsignore
# Run rsync using ssh
# --cvs-exclude: auto ignore files in the same way CVS does [exc. .cvsignore]
# --include=ProofGeneral-* to avoid deleting archives
# --delete-excluded
EXCLUDEFILE=.tmp-rsync-excludes
RSYNC=rsync -e ssh -auv --safe-links --force --exclude-from=${EXCLUDEFILE} --include='ProofGeneral-*' --exclude="/${EXCLUDEFILE}" --cvs-exclude
DESTWEB=ssh.inf.ed.ac.uk:/group/project/proofgeneral/web
DESTCGI=ssh.inf.ed.ac.uk:/group/project/proofgeneral/cgi
default: pub
excludes:
echo '${IGNOREDWEBFILES}' | sed 's/,/\n/g' > ${EXCLUDEFILE}
test: excludes
${RSYNC} --exclude=/cgi/ -n ${PWD}/ ${DESTWEB}
# ${RSYNC} -n ${PWD}/cgi/ ${DESTCGI}
pub: excludes
${RSYNC} --exclude=/cgi/ ${PWD}/ ${DESTWEB}
# ${RSYNC} ${PWD}/cgi/ ${DESTCGI}
|
