| Server IP : 85.214.239.14 / Your IP : 18.227.52.111 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/2/root/proc/3/root/proc/2/task/2/cwd/proc/2/cwd/usr/share/augeas/lenses/dist/ |
Upload File : |
(*
Module: Sep
Generic separators to build lenses
Author: Raphael Pinson <raphink@gmail.com>
About: License
This file is licensed under the LGPL v2+, like the rest of Augeas.
*)
module Sep =
(* Variable: colon *)
let colon = Util.del_str ":"
(* Variable: semicolon *)
let semicolon = Util.del_str ";"
(* Variable: comma *)
let comma = Util.del_str ","
(* Variable: equal *)
let equal = Util.del_str "="
(* Variable: space_equal *)
let space_equal = Util.delim "="
(* Variable: space
Deletes a <Rx.space> and default to a single space *)
let space = del Rx.space " "
(* Variable: tab
Deletes a <Rx.space> and default to a tab *)
let tab = del Rx.space "\t"
(* Variable: opt_space
Deletes a <Rx.opt_space> and default to an empty string *)
let opt_space = del Rx.opt_space ""
(* Variable: opt_tab
Deletes a <Rx.opt_space> and default to a tab *)
let opt_tab = del Rx.opt_space "\t"
(* Variable: cl_or_space
Deletes a <Rx.cl_or_space> and default to a single space *)
let cl_or_space = del Rx.cl_or_space " "
(* Variable: cl_or_opt_space
Deletes a <Rx.cl_or_opt_space> and default to a single space *)
let cl_or_opt_space = del Rx.cl_or_opt_space " "
(* Variable: lbracket *)
let lbracket = Util.del_str "("
(* Variable: rbracket *)
let rbracket = Util.del_str ")"