| Server IP : 85.214.239.14 / Your IP : 13.58.53.112 Web Server : Apache/2.4.62 (Debian) System : Linux h2886529.stratoserver.net 4.9.0 #1 SMP Tue Jan 9 19:45:01 MSK 2024 x86_64 User : www-data ( 33) PHP Version : 7.4.18 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /proc/self/root/usr/share/augeas/lenses/dist/ |
Upload File : |
(*
Module: Desktop
Desktop module for Augeas (.desktop files)
Author: Raphael Pinson <raphink@gmail.com>
About: Lens Usage
This lens is made to provide a lens for .desktop files for augeas
Reference: Freedesktop.org
http://standards.freedesktop.org/desktop-entry-spec/desktop-entry-spec-latest.html
About: License
This file is licenced under the LGPL v2+, like the rest of Augeas.
*)
module Desktop =
(* We don't load this lens by default
Since a lot of desktop files contain unicode characters
which we can't parse *)
(* autoload xfm *)
(* Comments can be only of # type *)
let comment = IniFile.comment "#" "#"
(* TITLE
* These represents sections of a desktop file
* Example : [DesktopEntry]
*)
let title = IniFile.title IniFile.record_re
let sep = IniFile.sep "=" "="
let setting = /[A-Za-z0-9_.-]+([][@A-Za-z0-9_.-]+)?/
(* Variable: sto_to_comment
Store until comment *)
let sto_to_comment = Sep.opt_space . store /[^# \t\r\n][^#\r\n]*[^# \t\r\n]|[^# \t\r\n]/
(* Entries can have comments at their end and so they are modified to represent as such *)
let entry = [ key setting . sep . sto_to_comment? . (comment|IniFile.eol) ] | comment
let record = IniFile.record title entry
let lns = IniFile.lns record comment
let filter = ( incl "/usr/share/applications/*.desktop"
. incl "/usr/share/applications/screensavers/*.desktop" )
let xfm = transform lns filter