check whether there is a / before a : in the rsync command line. If
[rsync/rsync.git] / rsync.yo
1 mailto(rsync-bugs@samba.anu.edu.au)
2 manpage(rsync)(1)(13 May 1998)()()
3 manpagename(rsync)(faster, flexible replacement for rcp)
4 manpagesynopsis()
5
6 rsync [options] [user@]host:path path
7
8 rsync [options] path [user@]host:path
9
10 rsync [options] path path
11
12 rsync [options] [user@]host::path path
13
14 rsync [options] path [user@]host::path
15
16 manpagedescription()
17
18 rsync is a program that behaves in much the same way that rcp does,
19 but has many more options and uses the rsync remote-update protocol to
20 greatly speedup file transfers when the destination file already
21 exists.
22
23 The rsync remote-update protocol allows rsync to transfer just the
24 differences between two sets of files across the network link, using
25 an efficient checksum-search algorithm described in the technical
26 report that accompanies this package.
27
28 Some of the additional features of rsync are:
29
30 itemize(
31   it() support for copying links, devices, owners, groups and permissions
32   it() exclude and exclude-from options similar to GNU tar
33   it() a CVS exclude mode for ignoring the same files that CVS would ignore
34   it() can use any transparent remote shell, including rsh or ssh
35   it() does not require root privileges
36   it() pipelining of file transfers to minimize latency costs
37   it() support for anonymous or authenticated rsync servers (ideal for
38        mirroring)
39 )
40
41 manpagesection(GENERAL)
42
43 There are five different ways of using rsync. They are:
44
45 itemize(
46         it() for copying local files. This is invoked when neither
47              source nor destination path contains a : separator
48
49         it() for copying from the local machine to a remote machine using
50         a remote shell program as the transport (such as rsh or
51         ssh). This is invoked when the destination path contains a
52         single : separator.
53
54         it() for copying from a remote machine to the local machine
55         using a remote shell program. This is invoked when the local path
56         contains a : separator.
57
58         it() for copying from a remote rsync server to the local
59         machine. This is invoked when the source path contains a ::
60         separator. 
61
62         it() for copying from the local machine to a remote rsync
63         server. This is invoked when the destination path contains a ::
64         separator. 
65 )
66
67 Note that in all cases at least one of the source and destination
68 paths must be local.
69
70 manpagesection(SETUP)
71
72 See the file README for installation instructions.
73
74 Once installed you can use rsync to any machine that you can use rsh
75 to.  rsync uses rsh for its communications, unless both the source and
76 destination are local.
77
78 You can also specify a alternative to rsh, by either using the -e
79 command line option, or by setting the RSYNC_RSH environment variable.
80
81 One common substitute is to use ssh, which offers a high degree of
82 security.
83
84 Note that rsync must be installed on both the source and destination
85 machines. 
86
87 manpagesection(USAGE)
88
89 You use rsync in the same way you use rcp. You must specify a source
90 and a destination, one of which may be remote.
91
92 Perhaps the best way to explain the syntax is some examples:
93
94 quote(rsync *.c foo:src/)
95
96 this would transfer all files matching the pattern *.c from the
97 current directory to the directory src on the machine foo. If any of
98 the files already exist on the remote system then the rsync
99 remote-update protocol is used to update the file by sending only the
100 differences. See the tech report for details.
101
102 quote(rsync -avz foo:src/bar /data/tmp)
103
104 recursively transfer all files from the directory src/bar on the
105 machine foo into the /data/tmp/bar directory on the local machine. The
106 files are transferred in "archive" mode, which ensures that symbolic
107 links, devices, attributes, permissions, ownerships etc are preserved
108 in the transfer.  Additionally compression will be used to reduce the
109 size of data portions of the transfer.
110
111 quote(rsync -avz foo:src/bar/ /data/tmp)
112
113 With a trailing slash on the source this behavior changes to transfer
114 all files from the directory src/bar on the machine foo into the
115 /data/tmp/.  With a trailing / on a source name it means "copy the
116 contents of this directory".  Without a trailing slash it means "copy
117 the directory". This difference becomes particularly important when
118 using the --delete option.
119
120 You can also use rsync in local-only mode, where both the source and
121 destination don't have a ':' in the name. In this case it behaves like
122 an improved copy command.
123
124
125 manpagesection(CONNECTING TO AN RSYNC SERVER)
126
127 It is also possible to use rsync without using rsh or ssh as the
128 transport. In this case you will connect to a remote rsync server
129 running on TCP port 873. 
130
131 Using rsync in this was is the same as using it with rsh or ssh except
132 that:
133
134 itemize(
135         it() you use a double colon :: instead of a single colon to
136         separate the hostname from the path. 
137
138         it() the remote server may print a message of the day when you
139         connect
140
141         it() if you specify no path name on the remote server then the
142         list of accessible paths on the server will be shown.
143 )
144
145 Some paths on the remote server may require authentication. If so then
146 you will receive a password prompt when you connect. You can avoid the
147 password prompt by setting the environment variable RSYNC_PASSWORD to
148 the password you want to use. This may be useful when scripting rsync.
149
150 manpagesection(RUNNING AN RSYNC SERVER)
151
152 An rsync server is configured using a config file which by default is
153 called /etc/rsyncd.conf. Please see the rsyncd.conf(5) man page for more
154 information. 
155
156 manpagesection(EXAMPLES)
157
158 Here are some examples of how I use rsync.
159
160 To backup my wife's home directory, which consists of large MS word
161 files and mail folders I use a cron job that runs
162
163 quote(rsync -Cavz . arvidsjaur:backup)
164
165 each night over a PPP link to a duplicate directory on my machine
166 "arvidsjaur".
167
168 To synchronize my samba source trees I use the following Makefile
169 targets:
170
171 quote(      get:nl()
172        rsync -avuzb --exclude '*~' samba:samba/ .
173
174       put:nl()
175        rsync -Cavuzb . samba:samba/
176
177       sync: get put)
178
179 this allows me to sync with a CVS directory at the other end of the
180 link. I then do cvs operations on the remote machine, which saves a
181 lot of time as the remote cvs protocol isn't very efficient.
182
183 I mirror a directory between my "old" and "new" ftp sites with the
184 command
185
186 quote(rsync -az -e ssh --delete ~ftp/pub/samba/ nimbus:"~ftp/pub/tridge/samba")
187
188 this is launched from cron every few hours.
189
190 manpagesection(OPTIONS SUMMARY)
191
192 Here is a short summary of the options avalable in rsync. Please refer
193 to the detailed description below for a complete description.
194
195 verb(
196 Usage: rsync [OPTION]... SRC [USER@]HOST:DEST
197   or   rsync [OPTION]... [USER@]HOST:SRC DEST
198   or   rsync [OPTION]... SRC DEST
199   or   rsync [OPTION]... [USER@]HOST::SRC DEST
200   or   rsync [OPTION]... SRC [USER@]HOST::DEST
201
202 Options
203  -v, --verbose               increase verbosity
204  -c, --checksum              always checksum
205  -a, --archive               archive mode
206  -r, --recursive             recurse into directories
207  -R, --relative              use relative path names
208  -b, --backup                make backups (default ~ extension)
209  -u, --update                update only (don't overwrite newer files)
210  -l, --links                 preserve soft links
211  -L, --copy-links            treat soft links like regular files
212      --safe-links            ignore links outside the destination tree
213  -H, --hard-links            preserve hard links
214  -p, --perms                 preserve permissions
215  -o, --owner                 preserve owner (root only)
216  -g, --group                 preserve group
217  -D, --devices               preserve devices (root only)
218  -t, --times                 preserve times
219  -S, --sparse                handle sparse files efficiently
220  -n, --dry-run               show what would have been transferred
221  -W, --whole-file            copy whole files, no incremental checks
222  -x, --one-file-system       don't cross filesystem boundaries
223  -B, --block-size=SIZE       checksum blocking size
224  -e, --rsh=COMMAND           specify rsh replacement
225      --rsync-path=PATH       specify path to rsync on the remote machine
226  -C, --cvs-exclude           auto ignore files in the same way CVS does
227      --delete                delete files that don't exist on the sending side
228      --partial               keep partially transferred files
229      --force                 force deletion of directories even if not empty
230      --numeric-ids           don't map uid/gid values by user/group name
231      --timeout=TIME          set IO timeout in seconds
232  -I, --ignore-times          don't exclude files that match length and time
233  -T  --temp-dir=DIR          create temporary files in directory DIR
234  -z, --compress              compress file data
235      --exclude=PATTERN       exclude file FILE
236      --exclude-from=PATTERN  exclude files listed in FILE
237      --include=PATTERN       don't exclude file FILE
238      --include-from=PATTERN  don't exclude files listed in FILE
239      --suffix=SUFFIX         override backup suffix
240      --version               print version number
241      --daemon                run as a rsync daemon
242      --config=FILE           specify alternate rsyncd.conf file
243      --port=PORT             specify alternate rsyncd port number
244      --stats                 give some file transfer stats
245      --progress              show progress during transfer
246  -h, --help                  show this help screen
247 )
248
249 manpageoptions()
250
251 rsync uses the GNU long options package. Many of the command line
252 options have two variants, one short and one long.  These are shown
253 below separated by commas. Some options only have a long variant.
254
255 startdit()
256 dit(bf(-h, --help)) Print a short help page describing the options
257 available in rsync
258
259 dit(bf(--version)) print the rsync version number and exit
260
261 dit(bf(-v, --verbose)) This option increases the amount of information you
262 are given during the transfer.  By default rsync works silently. A
263 single -v will give you information about what files are being
264 transferred and a brief summary at the end. Two -v flags will give you
265 information on what files are being skipped and slightly more
266 information at the end. More than two -v flags should only be used if
267 you are debugging rsync
268
269 dit(bf(-I, --ignore-times)) Normally rsync will skip any files that are
270 already the same length and have the same time-stamp. This option turns
271 off this behavior.
272
273 dit(bf(-c, --checksum)) This forces the sender to checksum all files using
274 a 128-bit MD4 checksum before transfer. The checksum is then
275 explicitly checked on the receiver and any files of the same name
276 which already exist and have the same checksum and size on the
277 receiver are skipped.  This option can be quite slow.
278
279 dit(bf(-a, --archive)) This is equivalent to -rlptDg. It is a quick way
280 of saying I want recursion and want to preserve everything.
281
282 Note: if the user launching rsync is root then the -o option (preserve
283 uid) is also implied.
284
285 dit(bf(-r, --recursive)) This tells rsync to copy directories recursively
286
287 dit(bf(-R, --relative)) Use relative paths. This means that the full path
288 names specified on the command line are sent to the server rather than
289 just the last parts of the filenames. This is particularly useful when
290 you want to sent several different directories at the same time. For
291 example if you used the command
292
293 verb(rsync foo/bar/foo.c remote:/tmp/)
294
295 then this would create a file called foo.c in /tmp/ on the remote
296 machine. If instead you used
297
298 verb(rsync -R foo/bar/foo.c remote:/tmp/)
299
300 then a file called /tmp/foo/bar/foo.c would be created on the remote
301 machine. The full path name is preserved.
302
303 dit(bf(-b, --backup)) With this option preexisting destination files are
304 renamed with a ~ extension as each file is transferred.  You can
305 control the backup suffix using the --suffix option.
306
307 dit(bf(-u, --update)) This forces rsync to skip any files for which the
308 destination file already exists and has a date later than the source
309 file.
310
311 dit(bf(-l, --links)) This tells rsync to recreate symbolic links on the
312 remote system  to  be the same as the local system. Without this
313 option all symbolic links are skipped.
314
315 dit(bf(-L, --copy-links)) This tells rsync to treat symbolic links just
316 like  ordinary files.
317
318 dit(bf(-H, --hard-links)) This tells rsync to recreate hard  links  on
319 the  remote system  to  be the same as the local system. Without this
320 option hard links are treated like regular files.
321
322 Note that rsync can only detect hard links if both parts of the link
323 are in the list of files being sent.
324
325 This option can be quite slow, so only use it if you need it.
326
327 dit(bf(-W, --whole-file)) With this option the incremental rsync algorithm
328 is  not used  and  the whole file is sent as-is instead. This may be
329 useful when using rsync with a local machine.
330
331 dit(bf(--partial)) By default rsync will delete any partially
332 transferred file if the transfer is interrupted. In some circumstances
333 it is more desirable to keep partially transferred files. Using the
334 --partial option tells rsync to keep the partial file which should
335 make a subsequent transfer of the rest of the file much faster.
336
337 dit(bf(-p, --perms)) This option causes rsync to update the remote
338 permissions to be the same as the local permissions.
339
340 dit(bf(-o, --owner)) This option causes rsync to update the  remote  owner
341 of the  file to be the same as the local owner. This is only available
342 to the super-user.
343
344 dit(bf(-g, --group)) This option causes rsync to update the  remote  group
345 of the file to be the same as the local group.
346
347 dit(bf(-D, --devices)) This option causes rsync to transfer character and
348 block device information to the remote system to recreate these
349 devices. This option is only available to the super-user.
350
351 dit(bf(-t, --times)) This tells rsync to transfer modification times along
352 with the files and update them on the remote system
353
354 dit(bf(-n, --dry-run)) This tells rsync to not do any file transfers,
355 instead it will just report the actions it would have taken.
356
357 dit(bf(-S, --sparse)) Try to handle sparse files efficiently so they take
358 up less space on the destination.
359
360 dit(bf(-x, --one-file-system)) This tells rsync not to cross filesystem
361 boundaries  when recursing.  This  is useful for transferring the
362 contents of only one filesystem.
363
364 dit(bf(--delete)) This tells rsync to delete any files on the receiving
365 side that aren't on the sending side. This option can be dangerous if
366 used incorrectly!
367
368 It is a very good idea to run first using the dry run option (-n) to
369 see what files would be deleted to make sure important files aren't
370 listed.
371
372 rsync 1.6.4 changed the behavior of --delete to make it less
373 dangerous.  rsync now only scans directories on the receiving side
374 that are explicitly transferred from the sending side.  Only files in
375 these directories are deleted.
376
377 Still, it is probably easy to get burnt with this option.  The moral
378 of the story is to use the -n option until you get used to the
379 behavior of --delete.
380
381 NOTE: It also may delete files on the destination if the sending side
382 can't open them or stat them. This is a bug that hopefully will be
383 fixed in a future release.
384
385 dit(bf(--force)) This options tells rsync to delete directories even if
386 they are not empty.  This applies to both the --delete option and to
387 cases where rsync tries to copy a normal file but the destination
388 contains a directory of the same name. Normally rsync will refuse to
389 do a recursive directory deletion in such cases, by using --force
390 the recursive deletion will be done.
391
392 Use this option with caution!
393
394 dit(bf(-B , --block_size BLOCKSIZE)) This controls the block size used in
395 the rsync algorithm. See the technical report for details.
396
397 dit(bf(-e, --rsh COMMAND)) This option allows you to choose an alternative
398 remote shell program to use for communication between the local and
399 remote copies of rsync. By default rsync will use rsh, but you may
400 like to instead use ssh because of its high security.
401
402 You can also choose the remote shell program using the RSYNC_RSH
403 environment variable.
404
405 dit(bf(--rsync-path PATH)) Use this to specify the path to the copy of
406 rsync on the remote machine. Useful when its not in your path.
407
408 dit(bf(--exclude pattern)) This option allows you to selectively exclude
409 certain files from the list of files to be transferred. This is most
410 useful in combination with a recursive transfer.
411
412 You may use as many --exclude options on the command line as you like
413 to build up the list of files to exclude.
414
415 See the section of exclude patterns for information on the syntax of 
416 this option.
417
418 dit(bf(--exclude-from FILE)) This option is similar to the --exclude
419 option, but instead it adds all filenames listed in the file FILE to
420 the exclude list.
421
422 dit(bf(--include pattern)) This option tells rsync to not exclude the
423 specified pattern of filenames. This is useful as it allows you to
424 build up quite complex exclude/include rules.
425
426 See the section of exclude patterns for information on the syntax of 
427 this option.
428
429 dit(bf(--include-from FILE)) This specifies a list of include patterns
430 from a file.
431
432 dit(bf(-C, --cvs-exclude)) This is a useful shorthand for excluding a
433 broad range of files that you often don't want to transfer between
434 systems. It uses the same algorithm that CVS uses to determine if
435 a file should be ignored.
436
437 The exclude list is initialized to:
438
439 quote(RCS SCCS CVS CVS.adm RCSLOG cvslog.* tags TAGS .make.state
440 .nse_depinfo *~ #* .#* ,* *.old *.bak *.BAK *.orig *.rej .del-*
441 *.a *.o *.obj *.so *.Z *.elc *.ln core)
442
443 then files listed in a $HOME/.cvsignore are added to the list and any
444 files listed in the CVSIGNORE environment variable (space delimited).
445
446 Finally in each directory any files listed in the .cvsignore file in
447 that directory are added to the list.
448
449 dit(bf(--suffix SUFFIX)) This option allows you to override the default
450 backup suffix used with the -b option. The default is a ~.
451
452 dit(bf(--csum-length LENGTH)) By default the primary checksum used in
453 rsync is a very strong 16 byte MD4 checksum. In most cases you will
454 find that a truncated version of this checksum is quite efficient, and
455 this will decrease the size of the checksum data sent over the link,
456 making things faster. 
457
458 You can choose the number of bytes in the truncated checksum using the
459 --csum-length option. Any value less than or equal to 16 is valid.
460
461 Note that if you use this option then you run the risk of ending up
462 with an incorrect target file. The risk with a value of 16 is
463 microscopic and can be safely ignored (the universe will probably end
464 before it fails) but with smaller values the risk is higher.
465
466 Current versions of rsync actually use an adaptive algorithm for the
467 checksum length by default, using a 16 byte file checksum to determine
468 if a 2nd pass is required with a longer block checksum. Only use this
469 option if you have read the source code and know what you are doing.
470
471 dit(bf(-T, --temp-dir DIR)) This options instructs rsync to use DIR as a
472 scratch directory when creating a temporary copies of the files
473 transferred on the receiving side.  The default behavior is to create
474 the temporary files in the receiving directory.
475
476 dit(bf(-z, --compress)) With this option, rsync compresses any data from
477 the source file(s) which it sends to the destination machine.  This
478 option is useful on slow links.  The compression method used is the
479 same method that gzip uses.
480
481 Note this this option typically achieves better compression ratios
482 that can be achieved by using a compressing remote shell, or a
483 compressing transport, as it takes advantage of the implicit
484 information sent for matching data blocks.
485
486 dit(bf(--numeric-ids)) With this option rsync will transfer numeric group
487 and user ids rather than using user and group names and mapping them
488 at both ends.
489
490 By default rsync will use the user name and group name to determine
491 what ownership to give files. The special uid 0 and the special group
492 0 and never mapped via user/group names even if the --numeric-ids
493 option is not specified.
494
495 If a user or group name does not exist on the destination system then
496 the numeric id from the source system is used instead.
497
498 dit(bf(--timeout=TIMEOUT)) This option allows you to set a maximum IO
499 timeout in seconds. If no data is transferred for the specified time
500 then rsync will exit. The default is 0, which means no timeout.
501
502 dit(bf(--daemon)) This tells rsync that it is to run as a rsync
503 daemon. If standard input is a socket then rsync will assume that it
504 is being run via inetd, otherwise it will detach from the current
505 terminal and become a background daemon. The daemon will read the
506 config file (/etc/rsyncd.conf) on each connect made by a client and
507 respond to requests accordingly. See the rsyncd.conf(5) man page for more
508 details. 
509
510 dit(bf(--config FILE)) This specifies an alternate config file than
511 the default /etc/rsyncd.conf. This is only relevant when --daemon is
512 specified. 
513
514 dit(bf(--port PORT)) This specifies an alternate TCP port number to use
515 rather than the default port 873. 
516
517 dit(bf(--stats)) This tells rsync to print a verbose set of statistics
518 on the file transfer, allowing you to tell how effective the rsync
519 algorithm is for your data. This option only works in conjunction with
520 the -v (verbose) option.
521
522 dit(bf(--progress)) This option tells rsync to print information
523 showing the progress of the transfer. This gives a bored user
524 something to watch.
525
526 enddit()
527
528 manpagesection(EXCLUDE PATTERNS)
529
530 The exclude and include patterns specified to rsync allow for flexible
531 selection of what files to transfer and what files to skip.
532
533 rsync build a ordered list of include/exclude options as specified on
534 the command line. When a filename is encountered rsync then checks the
535 name against each exclude/include pattern in turn. The first matching
536 pattern is acted on. If it is an exclude pattern than that file is
537 skipped. If it is an include pattern then that filename is not
538 skipped. If no matching include/exclude pattern is found then the
539 filename is not skipped.
540
541 The patterns themselves can take several forms. The rules are:
542
543 itemize(
544   it() if the pattern starts with a / then it is matched against the
545   start of the filename, otherwise it is matched against the end of
546   the filename. Thus /foo would match a file called foo
547   at the base of the tree whereas foo would match any file
548   called foo anywhere in the tree.
549
550   it() if the pattern ends with a / then it will only match a
551   directory, not a file, link or device.
552
553   it() if the pattern contains a wildcard character from the set
554   *?[ then regular expression matching is applied using the
555   normal shell filename matching rules. Otherwise a simple string
556   match is used.
557
558   it() if the pattern contains a / (not counting a trailing /) then it
559   is matched against the full filename, including any leading
560   directory. If the pattern doesn't contain a / then it is matched
561   only against the final component of the filename.
562
563   it() if the pattern starts with "+ " (a plus followed by a space)
564   then it is always considered a include pattern, even if specified as
565   part of an exclude option. The "+ " part is discarded before matching.
566
567   it() if the pattern starts with "- " (a minus followed by a space)
568   then it is always considered a exclude pattern, even if specified as
569   part of an include option. The "- " part is discarded before matching.
570
571   it() if the pattern is a single exclamation mark ! then the current
572   exclude list is reset, removing all previous exclude patterns.
573 )
574
575 The +/- rules are most useful in exclude lists, allowing you to have a
576 single exclude list that contains both include and exclude options.
577
578 Here are some examples:
579
580 itemize(
581   it() --exclude "*.o" would exclude all filenames matching *.o
582   it() --exclude "/foo" would exclude a file in the base directory called foo
583   it() --exclude "foo/" would exclude any directory called foo
584   it() --include "*/" --include "*.c" --exclude "*" would include all 
585   directories and C source files.
586 )
587
588 manpagesection(ENVIRONMENT VARIABLES)
589
590 startdit()
591
592 dit(bf(CVSIGNORE)) The CVSIGNORE environment variable supplements any
593 ignore patterns in .cvsignore files. See the --cvs-exclude option for
594 more details.
595
596 dit(bf(RSYNC_RSH)) The RSYNC_RSH environment variable allows you to
597 override the default shell used as the transport for rsync. This can
598 be used instead of the -e option.
599
600 dit(bf(RSYNC_PASSWORD)) Setting RSYNC_PASSWORD to the required
601 password allows you to run authenticated rsync connections to a rsync
602 daemon without user intervention. Note that this does not supply a
603 password to a shell transport such as ssh.
604
605 dit(bf(USER) or bf(LOGNAME)) The USER or LOGNAME environment variables
606 are used to determine the default username sent to a rsync server.
607
608 dit(bf(HOME)) The HOME environment variable is used to find the users
609 default .cvsignore file.
610
611 enddit()
612
613 manpagefiles()
614
615 /etc/rsyncd.conf
616
617 manpageseealso()
618
619 rsyncd.conf(5)
620
621 manpagediagnostics()
622
623 manpagebugs()
624
625 times are transferred as unix time_t values
626
627 file permissions, devices etc are transferred as native numerical
628 values
629
630 see also the comments on the --delete option
631
632 Please report bugs! The rsync bug tracking system is online at
633 url(http://samba.anu.edu.au/rsync/)(http://samba.anu.edu.au/rsync/)
634
635 manpagesection(VERSION)
636 This man page is current for version 2.0 of rsync
637
638 manpagesection(CREDITS)
639
640 rsync is distributed under the GNU public license.  See the file
641 COPYING for details.
642
643 The primary ftp site for rsync is
644 url(ftp://samba.anu.edu.au/pub/rsync)(ftp://samba.anu.edu.au/pub/rsync).
645
646 A WEB site is available at
647 url(http://samba.anu.edu.au/rsync/)(http://samba.anu.edu.au/rsync/)
648
649 We would be delighted to hear from you if you like this program.
650
651 This program uses the zlib compression library written by Jean-loup
652 Gailly and Mark Adler.
653
654 manpagesection(THANKS)
655
656 Thanks to Richard Brent, Brendan Mackay, Bill Waite, Stephen Rothwell
657 and David Bell for helpful suggestions and testing of rsync. I've
658 probably missed some people, my apologies if I have.
659
660
661 manpageauthor()
662
663 rsync was written by Andrew Tridgell and Paul Mackerras.  They may be
664 contacted via email at tridge@samba.anu.edu.au and
665 Paul.Mackerras@cs.anu.edu.au
666