diff --git a/bin/dumpser.php b/bin/dumpser.php new file mode 100755 index 0000000..acbd12e --- /dev/null +++ b/bin/dumpser.php @@ -0,0 +1,7 @@ +#!/usr/bin/php + parent::ARGS, + "purpose" => "afficher des données sérialisées", + ]; + + protected $args; + + function main() { + $files = []; + foreach ($this->args as $arg) { + if (is_file($arg)) { + $files[] = $arg; + } else { + msg::warning("$arg: fichier invalide ou introuvable"); + } + } + $showSection = count($files) > 1; + foreach ($files as $file) { + if ($showSection) msg::section($file); + $sfile = new SharedFile($file); + yaml::dump($sfile->unserialize()); + } + } +}{ +}