| Server IP : 49.231.201.246 / Your IP : 216.73.216.149 Web Server : Apache/2.4.18 (Ubuntu) System : Linux 246 4.4.0-210-generic #242-Ubuntu SMP Fri Apr 16 09:57:56 UTC 2021 x86_64 User : root ( 0) PHP Version : 7.0.33-0ubuntu0.16.04.16 Disable Function : exec,passthru,shell_exec,system,proc_open,popen,pcntl_exec MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /proc/11584/root/usr/share/augeas/lenses/dist/ |
Upload File : |
(* PHP module for Augeas *)
(* Author: Raphael Pinson <raphink@gmail.com> *)
(* *)
module PHP =
autoload xfm
(************************************************************************
* INI File settings
*************************************************************************)
let comment = IniFile.comment IniFile.comment_re IniFile.comment_default
let sep = IniFile.sep IniFile.sep_re IniFile.sep_default
let empty = IniFile.empty
(************************************************************************
* ENTRY
*
* We have to remove the keyword "section" from possible entry keywords
* otherwise it would lead to an ambiguity with the "section" label
* since PHP allows entries outside of sections.
*************************************************************************)
let entry =
let word = IniFile.entry_re
in let entry_re = word . ( "[" . word . "]" )?
in IniFile.indented_entry entry_re sep comment
(************************************************************************
* TITLE
*
* We use IniFile.title_label because there can be entries
* outside of sections whose labels would conflict with section names
*************************************************************************)
let title = IniFile.title ( IniFile.record_re - ".anon" )
let record = IniFile.record title entry
let record_anon = [ label ".anon" . ( entry | empty )+ ]
(************************************************************************
* LENS & FILTER
* There can be entries before any section
* IniFile.entry includes comment management, so we just pass entry to lns
*************************************************************************)
let lns = record_anon? . record*
let filter = (incl "/etc/php*/*/*.ini")
. (incl "/etc/php.ini")
. (incl "/etc/php.d/*.ini")
(* PHPFPM Support *)
. (incl "/etc/php*/fpm/pool.d/*.conf")
(* Zend Community edition *)
. (incl "/usr/local/zend/etc/php.ini")
. (incl "/usr/local/zend/etc/conf.d/*.ini")
. Util.stdexcl
let xfm = transform lns filter