| Server IP : 173.209.174.21 / Your IP : 216.73.216.89 Web Server : Apache/2.4.58 (Ubuntu) System : Linux wcfs-server 6.8.0-124-generic #124-Ubuntu SMP PREEMPT_DYNAMIC Tue May 26 13:00:45 UTC 2026 x86_64 User : nodor ( 1000) PHP Version : 8.3.6 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /usr/share/augeas/lenses/dist/ |
Upload File : |
(*
Module: GtkBookmarks
Parses $HOME/.gtk-bookmarks
Author: Raphael Pinson <raphael.pinson@camptocamp.com>
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 $HOME/.gtk-bookmarks. See <filter>.
About: Examples
The <Test_GtkBookmarks> file contains various examples and tests.
*)
module GtkBookmarks =
autoload xfm
(* View: empty
Comment are not allowed, even empty comments *)
let empty = Util.empty_generic Rx.opt_space
(* View: entry *)
let entry = [ label "bookmark" . store Rx.no_spaces
. (Sep.space . [ label "label" . store Rx.space_in ])?
. Util.eol ]
(* View: lns *)
let lns = (empty | entry)*
(* View: xfm *)
let xfm = transform lns (incl (Sys.getenv("HOME") . "/.gtk-bookmarks"))