⚝
One Hat Cyber Team
⚝
Your IP:
216.73.216.247
Server IP:
45.79.8.107
Server:
Linux localhost 5.15.0-140-generic #150-Ubuntu SMP Sat Apr 12 06:00:09 UTC 2025 x86_64
Server Software:
nginx/1.18.0
PHP Version:
8.1.2-1ubuntu2.21
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
proc
/
self
/
root
/
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"))