? GR0V Shell

GR0V shell

Linux server122.web-hosting.com 4.18.0-513.18.1.lve.el8.x86_64 #1 SMP Thu Feb 22 12:55:50 UTC 2024 x86_64

Path : /opt/puppetlabs/puppet/share/augeas/lenses/dist/
File Upload :
Current File : //opt/puppetlabs/puppet/share/augeas/lenses/dist/gtkbookmarks.aug

(*
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"))

T1KUS90T
  root-grov@198.54.114.191:~$