⚝
One Hat Cyber Team
⚝
Your IP:
216.73.216.164
Server IP:
157.245.143.252
Server:
Linux www 6.11.0-29-generic #29-Ubuntu SMP PREEMPT_DYNAMIC Fri Jun 13 20:29:41 UTC 2025 x86_64
Server Software:
nginx/1.26.0
PHP Version:
8.3.11
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
snap
/
certbot
/
4737
/
usr
/
share
/
augeas
/
lenses
/
dist
/
View File Name :
gtkbookmarks.aug
(* Module: GtkBookmarks Parses $HOME/.gtk-bookmarks Author: Raphael Pinson
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
. About: Examples The
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"))