diff options
Diffstat (limited to 'rc/bin/inst/replcfg')
| -rwxr-xr-x | rc/bin/inst/replcfg | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/rc/bin/inst/replcfg b/rc/bin/inst/replcfg new file mode 100755 index 000000000..30aed8607 --- /dev/null +++ b/rc/bin/inst/replcfg @@ -0,0 +1,18 @@ +#!/bin/rc + +s=/n/dist/dist/replica +serverroot=/n/dist +serverlog=$s/plan9.log +serverproto=$s/plan9.proto +fn servermount { status='' } +fn serverupdate { status='' } + +fn clientmount { status='' } +c=/n/newfs/dist/replica +clientroot=/n/newfs +clientproto=$c/plan9.proto +clientdb=$c/client/plan9.db +clientexclude=(dist/replica/client) +clientlog=$c/client/plan9.log + +applyopt=(-t -u -T$c/client/plan9.time) |
