Manuel:CopyFileBackend.php

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

Détails

Le fichier copyFileBackend.php est un script de maintenance pour copier tous les fichiers de conteneurs d'un backend à un autre.

Options

Option Description Obligatoire
--src Backend contenant les fichiers source. obligatoire
--dst

Backend où copier les fichiers. || style="background-color:#FFE0B2;vertical-align:middle;text-align:center;" class="table-yes" | obligatoire

--containers Liste des conteneurs séparés par des tirets obligatoire
--subdir Ne faire que des fichiers dans ce répertoire enfant. optionnel
--ratefile Fichier pour vérifier périodiquement la taille de paquet optionnel
--prestat Énumérer les fichiers de destination d'abord (essayer d'utiliser des listes) optionnel
--skiphash Sauter les vérifications synchronisées SHA-1 pour des fichiers optionnel
--missingonly Ne copier que des fichiers absents du réprtoire de destination optionnel
--syncviadelete Supprimer les fichiers non présents dans la liste source optionnel
--utf8only Sauter les fichiers source qui n'ont pas de noms valides UTF-8 optionnel

Utilisation

php maintenance/copyFileBackend.php --src sourceBackend --dst destinationBackend --containers containers [ --subdir| --ratefile| --prestat| --skiphash| --missingonly| --syncviadelete| --utf8only ]
Terminal
Pour donner plus d'un container, les séparer avec des tirets (|) comme local-public|local-deleted

Erreurs communes

No backend defined with the name '$name'.

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

Voir aussi