diff options
Diffstat (limited to 'rc/bin/inst/replcfg')
-rwxr-xr-x | rc/bin/inst/replcfg | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/rc/bin/inst/replcfg b/rc/bin/inst/replcfg deleted file mode 100755 index 30aed8607..000000000 --- a/rc/bin/inst/replcfg +++ /dev/null @@ -1,18 +0,0 @@ -#!/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) |