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: d59b16e23ed02c095c4cb1581625a35b2b6a7092
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);