db48ed
db48ed
db48ed
#
db48ed
# Usage: php cleanup.php /path/to/pear.conf /usr/share
db48ed
# 
db48ed
$file = $_SERVER['argv'][1];
db48ed
$data = $_SERVER['argv'][2];
db48ed
db48ed
# Keys to be removed if exists
db48ed
$remove = [
db48ed
  'ext_dir',
db48ed
  'http_proxy',
db48ed
];
db48ed
# Keys to be added
db48ed
$add = [
db48ed
  '__channels' => [
db48ed
    'pecl.php.net' => [
db48ed
      'doc_dir'  => "$data/doc/pecl",
db48ed
      'test_dir' => "$data/tests/pecl",
db48ed
    ]
db48ed
  ]
db48ed
];
db48ed
db48ed
$input = file_get_contents($file);
db48ed
list($header, $config) = explode("\n", $input);
db48ed
$config = unserialize($config);
db48ed
db48ed
foreach ($remove as $key) unset($config[$key]);
db48ed
$config = array_merge($config, $add);
db48ed
$config = serialize($config);
db48ed
db48ed
file_put_contents($file, "$header\n$config");
db48ed