| Server IP : 85.214.239.14 / Your IP : 18.191.68.112 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/cwd/proc/2/root/proc/2/root/proc/3/cwd/usr/share/augeas/lenses/dist/tests/ |
Upload File : |
(* Tests for the Xorg module *)
module Test_xorg =
let conf = "
# xorg.conf
Section \"ServerLayout\"
Identifier \"single head configuration\"
Screen 0 \"Screen0\" 0 0
InputDevice \"Generic Keyboard\" \"CoreKeyboard\"
EndSection
Section \"InputDevice\"
Identifier \"Generic Keyboard\"
# that's a driver
Driver \"kbd\"
Option \"XkbOptions\" \"lv3:ralt_switch\"
EndSection
Section \"Device\"
Identifier \"Configured Video Device\"
Option \"MonitorLayout\" \"LVDS,VGA\"
VideoRam 229376
Option \"NoAccel\"
Option \"fbdev\" \"\"
Screen 0
EndSection
Section \"Screen\"
Identifier \"Screen0\"
Device \"Configured Video Device\"
DefaultDepth 24
SubSection \"Display\"
Viewport 0 0
Depth 24
Modes \"1280x1024\" \"1280x960\" \"1280x800\"
EndSubSection
EndSection
Section \"Module\"
SubSection \"extmod\"
Option \"omit XFree86-DGA\"
EndSubSection
EndSection
"
test Xorg.lns get conf =
{ }
{ "#comment" = "xorg.conf" }
{ }
{ "ServerLayout"
{ "Identifier" = "single head configuration" }
{ "Screen" = "Screen0"
{ "num" = "0" }
{ "position" = "0 0" } }
{ "InputDevice" = "Generic Keyboard"
{ "option" = "CoreKeyboard" } } }
{ }
{ "InputDevice"
{ "Identifier" = "Generic Keyboard" }
{ "#comment" = "that's a driver" }
{ "Driver" = "kbd" }
{ "Option" = "XkbOptions"
{ "value" = "lv3:ralt_switch" } } }
{ }
{ "Device"
{ "Identifier" = "Configured Video Device" }
{ "Option" = "MonitorLayout"
{ "value" = "LVDS,VGA" } }
{ "VideoRam" = "229376" }
{ "Option" = "NoAccel" }
{ "Option" = "fbdev"
{ "value" = "" } }
{ "Screen"
{ "num" = "0" } } }
{ }
{ "Screen"
{ "Identifier" = "Screen0" }
{ "Device" = "Configured Video Device" }
{ "DefaultDepth" = "24" }
{ "Display"
{ "ViewPort"
{ "x" = "0" }
{ "y" = "0" } }
{ "Depth" = "24" }
{ "Modes"
{ "mode" = "1280x1024" }
{ "mode" = "1280x960" }
{ "mode" = "1280x800" } } } }
{ }
{ "Module"
{ "extmod"
{ "Option" = "omit XFree86-DGA" } } }