Skip to content

Instantly share code, notes, and snippets.

@markllama
Created September 12, 2014 20:14
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save markllama/cda21dbfac1dd8605945 to your computer and use it in GitHub Desktop.
Save markllama/cda21dbfac1dd8605945 to your computer and use it in GitHub Desktop.
An Augeas lens for Pulp INI configuration files
(* PulpIni module for Augeas *)
(* Author: Mark Lamourine <markllama@gmail.com> *)
(* Stolen whole cloth from MySQL by Tim Stoop <tim@kumina.nl> *)
(* Heavily based on php.aug by Raphael Pinson *)
(* <raphink@gmail.com> *)
(* *)
module PulpIni =
autoload xfm
(************************************************************************
* INI File settings
*************************************************************************)
let comment = IniFile.comment IniFile.comment_re "#"
let sep = IniFile.sep IniFile.sep_re IniFile.sep_default
let entry =
let bare = Quote.do_dquote_opt_nil (store /[^#;" \t\r\n]+([ \t]+[^#;" \t\r\n]+)*/)
in let quoted = Quote.do_dquote (store /[^"\r\n]*[#;]+[^"\r\n]*/)
in [ Util.indent . key IniFile.entry_re . sep . Sep.opt_space . bare . (comment|IniFile.eol) ]
| [ Util.indent . key IniFile.entry_re . sep . Sep.opt_space . quoted . (comment|IniFile.eol) ]
| [ Util.indent . key IniFile.entry_re . store // . (comment|IniFile.eol) ]
| comment
(************************************************************************
* sections, led by a "[section]" header
* We can't use titles as node names here since they could contain "/"
* We remove #comment from possible keys
* since it is used as label for comments
* We also remove / as first character
* because augeas doesn't like '/' keys (although it is legal in INI Files)
*************************************************************************)
let title = IniFile.indented_title_label "target" IniFile.record_label_re
let record = IniFile.record title entry
let includedir = Build.key_value_line /!include(dir)?/ Sep.space (store Rx.fspath)
. (comment|IniFile.empty)*
let lns = (comment|IniFile.empty)* . (record|includedir)*
let filter = (incl "/etc/pulp/server.conf")
. (incl "/etc/pulp/repo_auth.conf")
let xfm = transform lns filter
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment