Jump to content

Handbuch:copyFileBackend.php

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

Details

copyFileBackend.php file is a maintenance script to copy all files in some containers of one backend to another.

Optionen

Option Beschreibung Notwendig
--src Backend mit den Quelldateien Notwendig
--dst Backend, wo die Dateien kopiert werden sollen Notwendig
--containers Pipe separated list of containers Notwendig
--subdir Only do items in this child directory Optional
--ratefile File to check periodically for batch size Optional
--prestat Stat the destination files first (try to use listings) Optional
--skiphash Skip SHA-1 sync checks for files Optional
--missingonly Only copy files missing from destination listing Optional
--syncviadelete Delete destination files missing from source listing Optional
--utf8only Skip source files that do not have valid UTF-8 names Optional

Verwendung

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

Häufige Fehler

No backend defined with the name '$name'.

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

Siehe auch