Blame lenses/tests/test_xorg.aug

Packit Service a2ae7a
(* Tests for the Xorg module *)
Packit Service a2ae7a
Packit Service a2ae7a
module Test_xorg =
Packit Service a2ae7a
Packit Service a2ae7a
  let conf = "
Packit Service a2ae7a
# xorg.conf
Packit Service a2ae7a
Packit Service a2ae7a
Section \"ServerLayout\"
Packit Service a2ae7a
        Identifier     \"single head configuration\"
Packit Service a2ae7a
        Screen      0  \"Screen0\" 0 0
Packit Service a2ae7a
        InputDevice    \"Generic Keyboard\" \"CoreKeyboard\"
Packit Service a2ae7a
EndSection
Packit Service a2ae7a
Packit Service a2ae7a
Section \"InputDevice\"
Packit Service a2ae7a
	Identifier	\"Generic Keyboard\"
Packit Service a2ae7a
        # that's a driver
Packit Service a2ae7a
	Driver		\"kbd\"
Packit Service a2ae7a
	Option		\"XkbOptions\"	\"lv3:ralt_switch\"
Packit Service a2ae7a
EndSection
Packit Service a2ae7a
Packit Service a2ae7a
Section \"Device\"
Packit Service a2ae7a
	Identifier	\"Configured Video Device\"
Packit Service a2ae7a
	Option 		\"MonitorLayout\" \"LVDS,VGA\"
Packit Service a2ae7a
	VideoRam	229376
Packit Service a2ae7a
        Option          \"NoAccel\"
Packit Service a2ae7a
        Option          \"fbdev\" \"\"
Packit Service a2ae7a
        Screen          0
Packit Service a2ae7a
EndSection
Packit Service a2ae7a
Packit Service a2ae7a
Section \"Screen\"
Packit Service a2ae7a
        Identifier \"Screen0\"
Packit Service a2ae7a
        Device     \"Configured Video Device\"
Packit Service a2ae7a
        DefaultDepth     24
Packit Service a2ae7a
        SubSection \"Display\"
Packit Service a2ae7a
                Viewport   0 0
Packit Service a2ae7a
                Depth     24
Packit Service a2ae7a
                Modes    \"1280x1024\" \"1280x960\" \"1280x800\"
Packit Service a2ae7a
        EndSubSection
Packit Service a2ae7a
EndSection
Packit Service a2ae7a
Packit Service a2ae7a
Section \"Module\"
Packit Service a2ae7a
          SubSection \"extmod\"
Packit Service a2ae7a
                   Option  \"omit XFree86-DGA\"
Packit Service a2ae7a
          EndSubSection
Packit Service a2ae7a
EndSection
Packit Service a2ae7a
"
Packit Service a2ae7a
Packit Service a2ae7a
  test Xorg.lns get conf =
Packit Service a2ae7a
     { }
Packit Service a2ae7a
     { "#comment" = "xorg.conf" }
Packit Service a2ae7a
     { }
Packit Service a2ae7a
     { "ServerLayout"
Packit Service a2ae7a
        { "Identifier" = "single head configuration" }
Packit Service a2ae7a
        { "Screen"     = "Screen0"
Packit Service a2ae7a
           { "num"      = "0" }
Packit Service a2ae7a
           { "position" = "0 0" } }
Packit Service a2ae7a
        { "InputDevice" = "Generic Keyboard"
Packit Service a2ae7a
           { "option"   = "CoreKeyboard" } } }
Packit Service a2ae7a
     { }
Packit Service a2ae7a
     { "InputDevice"
Packit Service a2ae7a
        { "Identifier" = "Generic Keyboard" }
Packit Service a2ae7a
        { "#comment"   = "that's a driver" }
Packit Service a2ae7a
        { "Driver"     = "kbd" }
Packit Service a2ae7a
        { "Option"     = "XkbOptions"
Packit Service a2ae7a
             { "value"  = "lv3:ralt_switch" } } }
Packit Service a2ae7a
     { }
Packit Service a2ae7a
     { "Device"
Packit Service a2ae7a
        { "Identifier" = "Configured Video Device" }
Packit Service a2ae7a
        { "Option"     = "MonitorLayout"
Packit Service a2ae7a
             { "value"  = "LVDS,VGA" } }
Packit Service a2ae7a
        { "VideoRam"   = "229376" }
Packit Service a2ae7a
        { "Option"     = "NoAccel" }
Packit Service a2ae7a
        { "Option"     = "fbdev"
Packit Service a2ae7a
             { "value"  = "" } }
Packit Service a2ae7a
        { "Screen"
Packit Service a2ae7a
          { "num" = "0" } } }
Packit Service a2ae7a
     { }
Packit Service a2ae7a
     { "Screen"
Packit Service a2ae7a
        { "Identifier" = "Screen0" }
Packit Service a2ae7a
        { "Device"     = "Configured Video Device" }
Packit Service a2ae7a
        { "DefaultDepth" = "24" }
Packit Service a2ae7a
        { "Display"
Packit Service a2ae7a
           { "ViewPort"
Packit Service a2ae7a
              { "x" = "0" }
Packit Service a2ae7a
              { "y" = "0" } }
Packit Service a2ae7a
           { "Depth"    = "24" }
Packit Service a2ae7a
           { "Modes"
Packit Service a2ae7a
              { "mode" = "1280x1024" }
Packit Service a2ae7a
              { "mode" = "1280x960" }
Packit Service a2ae7a
              { "mode" = "1280x800" } } } }
Packit Service a2ae7a
     { }
Packit Service a2ae7a
     { "Module"
Packit Service a2ae7a
       { "extmod"
Packit Service a2ae7a
           { "Option" = "omit XFree86-DGA" } } }