Overview
Comment: | Petit outil rapide pour packager une extension |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
d59b16e23ed02c095c4cb1581625a35b |
User & Date: | bohwaz on 2014-03-20 18:29:04 |
Other Links: | manifest | tags |
Context
2014-03-20
| ||
18:30 | Début d'intégration des plugins check-in: d239c2525e user: bohwaz tags: trunk | |
18:29 | Petit outil rapide pour packager une extension check-in: d59b16e23e user: bohwaz tags: trunk | |
2014-03-14
| ||
18:44 | Passage des tableaux en syntaxe courte check-in: 458d0edb83 user: bohwaz tags: trunk | |
Changes
Added tools/make_plugin.php version [6aa347bed8].
> > > > > > > > > > > > > > > > > > > > > > > > > > > |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 |
<?php if (ini_get('phar.readonly')) { die("La variable INI phar.readonly doit être positionnée à Off pour utiliser ce script.\n"); } if (empty($argv[1]) || empty($argv[2])) { die("Usage : " . basename(__FILE__) . " plugin.phar /path/to/plugin\n"); } $phar_file = $argv[1]; $phar_name = basename($phar_file); @unlink($phar_file); @unlink($phar_file . '.gz'); $target = realpath($argv[2]); $p = new Phar($phar_file); $p->buildFromDirectory($target); $p->compress(Phar::GZ); rename($phar_file . '.gz', __DIR__ . '/../src/plugins/' . $phar_name); |