| Server IP : 85.214.239.14 / Your IP : 3.15.3.17 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/2/task/2/root/usr/share/augeas/lenses/dist/tests/ |
Upload File : |
(*
Module: Test_Approx
Provides unit tests and examples for the <Approx> lens.
*)
module Test_approx =
(* Variable: default_approx
A full configuration *)
let default_approx = "# The following are the defaults, so there is no need
# to uncomment them unless you want a different value.
# See approx.conf(5) for details.
$interface any
$port 9999
$interval 720
$max_wait 10
$max_rate unlimited
$debug false
# Here are some examples of remote repository mappings.
# See http://www.debian.org/mirror/list for mirror sites.
debian http://ftp.nl.debian.org/debian
debian-volatile http://ftp.nl.debian.org/debian-volatile
security http://security.debian.org
"
(* Test: Approx.lns
Testing <Approx.lns> on <default_approx> *)
test Approx.lns get default_approx =
{ "#comment" = "The following are the defaults, so there is no need" }
{ "#comment" = "to uncomment them unless you want a different value." }
{ "#comment" = "See approx.conf(5) for details." }
{ }
{ "$interface" = "any" }
{ "$port" = "9999" }
{ "$interval" = "720" }
{ "$max_wait" = "10" }
{ "$max_rate" = "unlimited" }
{ "$debug" = "false" }
{ }
{ "#comment" = "Here are some examples of remote repository mappings." }
{ "#comment" = "See http://www.debian.org/mirror/list for mirror sites." }
{ }
{ "debian" = "http://ftp.nl.debian.org/debian" }
{ "debian-volatile" = "http://ftp.nl.debian.org/debian-volatile" }
{ "security" = "http://security.debian.org" }