Parses $HOME/.gtk-bookmarks
Author: Raphael Pinson raphael.pinson@camptocamp.com
| GtkBookmarks | Parses $HOME/.gtk-bookmarks |
| License | This file is licenced under the LGPL v2+, like the rest of Augeas. |
| Lens Usage | To be documented |
| Configuration files | This lens applies to $HOME/.gtk-bookmarks. |
| Examples | The Test_GtkBookmarks file contains various examples and tests. |
| Augeas Lenses | |
| empty | Comment are not allowed, even empty comments |
| entry | |
| lns | |
| xfm |
This lens applies to $HOME/.gtk-bookmarks. See filter.
The Test_GtkBookmarks file contains various examples and tests.
Comment are not allowed, even empty comments
let empty = Util.empty_generic Rx.opt_space
let entry = [ label "bookmark" . store Rx.no_spaces . (Sep.space . [ label "label" . store Rx.space_in ])? . Util.eol ]
let lns = (empty | entry)*
let xfm = transform lns (incl (Sys.getenv("HOME") . "/.gtk-bookmarks"))