Manual:copyFileBackend.php

Fichier MediaWiki : copyFileBackend.php
Emplacement :	maintenance/
Code source :	master • 1.41.1 • 1.40.3 • 1.39.7
Classes :	CopyFileBackend

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.	<translate> Required</translate>
--dst	Backend où copier les fichiers. \|\| style="background-color:#FFE0B2;vertical-align:middle;text-align:center;" class="table-yes" \| <translate> Required</translate>
--containers	Liste des conteneurs séparés par des tirets	<translate> Required</translate>
--subdir	Ne faire que des fichiers dans ce répertoire enfant.	<translate> Optional</translate>
--ratefile	Fichier pour vérifier périodiquement la taille de paquet	<translate> Optional</translate>
--prestat	Énumérer les fichiers de destination d'abord (essayer d'utiliser des listes)	<translate> Optional</translate>
--skiphash	Sauter les vérifications synchronisées SHA-1 pour des fichiers	<translate> Optional</translate>
--missingonly	Ne copier que des fichiers absents du réprtoire de destination	<translate> Optional</translate>
--syncviadelete	Supprimer les fichiers non présents dans la liste source	<translate> Optional</translate>
--utf8only	Sauter les fichiers source qui n'ont pas de noms valides UTF-8	<translate> Optional</translate>

Utilisation

php maintenance/copyFileBackend.php --src sourceBackend --dst destinationBackend --containers containers [ --subdir| --ratefile| --prestat| --skiphash| --missingonly| --syncviadelete| --utf8only ]

Terminal

$ php maintenance/copyFileBackend.php --src local-backend --dst AmazonS3 --containers local-public
Doing container 'local-public'...
	Copying file(s)...
	Already have thumb/8/8a/1631330937964.jpeg/1600px-1631330937964.jpeg.
	Already have thumb/8/8a/1631330937964.jpeg/800px-1631330937964.jpeg.
	Already have thumb/8/8a/1631330937964.jpeg/1200px-1631330937964.jpeg.
	Already have thumb/8/8a/1631330937964.jpeg/120px-1631330937964.jpeg.
	Already have thumb/5/53/Example_Main_Page.png/114px-Example_Main_Page.png.
	Already have 8/8a/1631330937964.jpeg.
	Already have README.
	Already have d/d4/Logo.jpg.
	Already have e/21/1631330937964.jpeg.
	Already have 5/53/Asdeer.jpeg.
	Already have 5/53/Example_Main_Page.png.
	Already have .htaccess.
	Copied 12 file(s).

Finished container 'local-public'.

Done.

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