blob: cf34a8eaf1aefbb9275db5a05a72f65401e4552d (
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
|
#
# Publish files to Informatics web server.
#
# Requires permissions in /group/project/proofgeneral
#
# $Id$
#
PWD=`pwd`
IGNOREDWEBFILES="*~,*.NOEXPORT,CVS/,/test/,/test/*,/tmp,/tmp/*,/Makefile"
# Run rsync using ssh
# --cvs-exclude: auto ignore files in the same way CVS does [inc. .cvsignore]
EXCLUDEFILE=.tmp-rsync-excludes
RSYNC=rsync -e ssh -auv --delete --safe-links --force --delete-excluded --exclude-from=${EXCLUDEFILE} --exclude="/${EXCLUDEFILE}"
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}
|
