Manuel:EraseArchivedFile.php

From mediawiki.org
This page is a translated version of the page Manual:EraseArchivedFile.php and the translation is 100% complete.
Version de MediaWiki :
1.22

Détails

Le fichier eraseArchivedFile.php est un script de maintenance qui supprime le fichier archivé fourni par filekey du système de fichier.

Quand ce script est exécuté avec --filekey ou --filename, il supprimera la vignette de l'image correspondante - même si --delete n'a pas été spécifié De cette façon, vous pouvez utiliser le script pour forcer le re-rendement des vignettes sans avoir à recharger l'image. Les informations à propos des fichiers supprimés est stockée dans le tableau filearchive .

Options/Arguments

Option Description Nécessaire ?
--filekey Clé de stockage (avec l'extension) de fichier pour supprimer une version spécifique ou "*" pour toutes les versions (dans ce cas, --filename est obligatoire). La clé de stockage de fichier est une entrée de la colonne fa_storage_key du tableau filearchive. obligatoire
--filename Nom du fichier (correspond à la valeur de fa_name dans le tableau filearchive). optionnel
--delete Effectue la suppression. Supprimera le fichier archivé et les vignettes existantes, mais ne supprimera pas l'entrée correspondante du tableau filearchive (il ne supprimera pas non plus les messages de journal du téléchargement/de la suppression du fichier qui a été supprimé). optionnel

Utilisation

php maintenance/eraseArchivedFile.php --filekey fa_storage_key [ --filename| --delete ]

Dry run to check deletion

Terminal

Making deletion action

Terminal

Voir aussi