blob: 9dde7c8065247633673976761389721edad2186c (
plain)
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
28
29
30
31
32
33
|
<?php
#
# Usage: php cleanup.php /path/to/pear.conf /usr/share
#
$file = $_SERVER['argv'][1];
$data = $_SERVER['argv'][2];
# Keys to be removed if exists
$remove = [
'ext_dir',
'http_proxy',
];
# Keys to be added
$add = [
'__channels' => [
'pecl.php.net' => [
'doc_dir' => "$data/doc/pecl",
'test_dir' => "$data/tests/pecl",
]
]
];
$input = file_get_contents($file);
list($header, $config) = explode("\n", $input);
$config = unserialize($config);
foreach ($remove as $key) unset($config[$key]);
$config = array_merge($config, $add);
$config = serialize($config);
file_put_contents($file, "$header\n$config");
|