| Server IP : 77.68.64.21 / Your IP : 216.73.216.219 Web Server : Apache System : Linux hp3-wp-1011378.hostingp3.local 3.10.0-1160.144.1.el7.tuxcare.els9.x86_64 #1 SMP Fri Jul 10 17:06:31 UTC 2026 x86_64 User : csh2668128 ( 2112425) PHP Version : 8.1.34 Disable Function : shell_exec,exec,system,popen,set_time_limit MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /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