(* Module: Desktop Desktop module for Augeas (.desktop files) Author: Raphael Pinson 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