| Server IP : 85.214.239.14 / Your IP : 3.143.239.63 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/3/root/usr/share/augeas/lenses/dist/ |
Upload File : |
(* Lens for the textual representation of Windows registry files, as used *)
(* by wine etc. *)
(* This is pretty quick and dirty, as it doesn't put a lot of finesse on *)
(* splitting up values that have structure, e.g. hex arrays or *)
(* collections of paths. *)
module Wine =
(* We handle Unix and DOS line endings, though we can only add one or the *)
(* other to new lines. Maybe provide a function to gather that from the *)
(* current file ? *)
let eol = del /[ \t]*\r?\n/ "\n"
let comment = [ label "#comment" . del /[ \t]*;;[ \t]*/ ";; "
. store /([^ \t\r\n].*[^ \t\r\n]|[^ \t\r\n])/ . eol ]
let empty = [ eol ]
let dels = Util.del_str
let del_ws = Util.del_ws_spc
let header =
[ label "registry" . store /[a-zA-Z0-9 \t]*[a-zA-Z0-9]/ ] .
del /[ \t]*Version[ \t]*/ " Version " .
[ label "version" . store /[0-9.]+/ ] . eol
let qstr =
let re = /([^"\n]|\\\\.)*/ - /@|"@"/ in (* " Relax, emacs *)
dels "\"" . store re . dels "\""
let typed_val =
([ label "type" . store /dword|hex(\\([0-9]+\\))?/ ] . dels ":" .
[ label "value" . store /[a-zA-Z0-9,()]+(\\\\\r?\n[ \t]*[a-zA-Z0-9,]+)*/])
|([ label "type" . store /str\\([0-9]+\\)/ ] . dels ":" .
dels "\"" . [ label "value" . store /[^"\n]*/ ] . dels "\"") (* " Relax, emacs *)
let entry =
let qkey = [ label "key" . qstr ] in
let eq = del /[ \t]*=[ \t]*/ "=" in
let qstore = [ label "value" . qstr ] in
[ label "entry" . qkey . eq . (qstore|typed_val) . eol ]
|[label "anon" . del /"?@"?/ "@" . eq . (qstore|typed_val) .eol ]
let section =
let ts = [ label "timestamp" . store Rx.integer ] in
[ label "section" . del /[ \t]*\\[/ "[" .
store /[^]\n]+/ . dels "]" . (del_ws . ts)? . eol .
(entry|empty|comment)* ]
let lns = header . (empty|comment)* . section*