Jump to content

Manual:copyFileBackend.php

From mediawiki.org
This page is a translated version of the page Manual:CopyFileBackend.php and the translation is 67% complete.

詳細

copyFileBackend.php はコンテナ内のすべてのファイルを別のバックエンドにコピーする メンテナンススクリプト です。

オプション

オプション 説明 必須かどうか
--src コピー元のバックエンド 必須
--dst コピー先のバックエンド 必須
--containers パイプで区切られたコンテナのリスト 必須
--subdir 指定した子ディレクトリのみ 省略可能
--ratefile バッチサイズを定期的にチェックするファイル 省略可能
--prestat Stat the destination files first (try to use listings) 省略可能
--skiphash Skip SHA-1 sync checks for files 省略可能
--missingonly Only copy files missing from destination listing 省略可能
--syncviadelete Delete destination files missing from source listing 省略可能
--utf8only Skip source files that do not have valid UTF-8 names 省略可能

使用法

php maintenance/copyFileBackend.php --src sourceBackend --dst destinationBackend --containers containers [ --subdir| --ratefile| --prestat| --skiphash| --missingonly| --syncviadelete| --utf8only ]
Terminal
To give more than one container, give them as separated by pipe (|) like local-public|local-deleted

Common errors

No backend defined with the name '$name'.

This error occurs when the value of --src or --dst does not exist in Manual:$wgFileBackends . Check your --src or --dst parameter.

関連項目