summaryrefslogtreecommitdiffstats
path: root/cleanup.php
diff options
context:
space:
mode:
Diffstat (limited to 'cleanup.php')
-rw-r--r--cleanup.php33
1 files changed, 33 insertions, 0 deletions
diff --git a/cleanup.php b/cleanup.php
new file mode 100644
index 0000000..9dde7c8
--- /dev/null
+++ b/cleanup.php
@@ -0,0 +1,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");
+