/usr/share/augeas/lenses/dist/php.aug is in augeas-lenses 1.2.0-0ubuntu1.3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 | (* 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
|