| Server IP : 15.235.198.142 / Your IP : 216.73.216.168 Web Server : Apache/2.4.58 (Ubuntu) System : Linux ballsack 6.8.0-45-generic #45-Ubuntu SMP PREEMPT_DYNAMIC Fri Aug 30 12:02:04 UTC 2024 x86_64 User : www-data ( 33) PHP Version : 8.3.6 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /snap/certbot/current/usr/share/augeas/lenses/dist/ |
Upload File : |
(*
Module: Schroot
Parses /etc/schroot/schroot.conf
Author: Raphael Pinson <raphink@gmail.com>
About: Reference
This lens tries to keep as close as possible to `man 5 schroot.conf` where possible.
About: License
This file is licenced under the LGPL v2+, like the rest of Augeas.
About: Lens Usage
To be documented
About: Configuration files
This lens applies to /etc/schroot/schroot.conf. See <filter>.
*)
module Schroot =
autoload xfm
(************************************************************************
* Group: USEFUL PRIMITIVES
*************************************************************************)
(* View: comment
An <IniFile.comment> entry *)
let comment = IniFile.comment "#" "#"
(* View: sep
An <IniFile.sep> entry *)
let sep = IniFile.sep "=" "="
(************************************************************************
* Group: ENTRIES
*************************************************************************)
(* View: description
Descriptions are special entries, which can have an optional lang parameter *)
let description =
let lang = [ Util.del_str "[" . label "lang"
. store IniFile.entry_re . Util.del_str "]" ]
in IniFile.entry_generic_nocomment (key "description" . lang?) sep "#" comment
(* View: entry
An <IniFile.entry>, or <description> *)
let entry = IniFile.entry (IniFile.entry_re - "description") sep comment
| description
(* View: title
An <IniFile.title> *)
let title = IniFile.title IniFile.record_re
(* View: record
An <IniFile.record> *)
let record = IniFile.record title entry
(* View: lns
An <IniFile.lns> *)
let lns = IniFile.lns record comment
(* View: filter *)
let filter = (incl "/etc/schroot/schroot.conf")
let xfm = transform lns filter