Server IP : 85.214.239.14 / Your IP : 52.14.75.147 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/self/root/proc/self/root/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" } } }