lenses/tests/test_xorg.aug

   1 (* Tests for the Xorg module *)
   2
   3 module Test_xorg =
   4
   5   let conf = "
   6 # xorg.conf
   7
   8 Section \"ServerLayout\"
   9         Identifier     \"single head configuration\"
  10         Screen      0  \"Screen0\" 0 0
  11         InputDevice    \"Generic Keyboard\" \"CoreKeyboard\"
  12 EndSection
  13
  14 Section \"InputDevice\"
  15         Identifier      \"Generic Keyboard\"
  16         # that's a driver
  17         Driver          \"kbd\"
  18         Option          \"XkbOptions\"  \"lv3:ralt_switch\"
  19 EndSection
  20
  21 Section \"Device\"
  22         Identifier      \"Configured Video Device\"
  23         Option          \"MonitorLayout\" \"LVDS,VGA\"
  24         VideoRam        229376
  25         Option          \"NoAccel\"
  26         Option          \"fbdev\" \"\"
  27         Screen          0
  28 EndSection
  29
  30 Section \"Screen\"
  31         Identifier \"Screen0\"
  32         Device     \"Configured Video Device\"
  33         DefaultDepth     24
  34         SubSection \"Display\"
  35                 Viewport   0 0
  36                 Depth     24
  37                 Modes    \"1280x1024\" \"1280x960\" \"1280x800\"
  38         EndSubSection
  39 EndSection
  40
  41 Section \"Module\"
  42           SubSection \"extmod\"
  43                    Option  \"omit XFree86-DGA\"
  44           EndSubSection
  45 EndSection
  46 "
  47
  48   test Xorg.lns get conf =
  49      { }
  50      { "#comment" = "xorg.conf" }
  51      { }
  52      { "ServerLayout"
  53         { "Identifier" = "single head configuration" }
  54         { "Screen"     = "Screen0"
  55            { "num"      = "0" }
  56            { "position" = "0 0" } }
  57         { "InputDevice" = "Generic Keyboard"
  58            { "option"   = "CoreKeyboard" } } }
  59      { }
  60      { "InputDevice"
  61         { "Identifier" = "Generic Keyboard" }
  62         { "#comment"   = "that's a driver" }
  63         { "Driver"     = "kbd" }
  64         { "Option"     = "XkbOptions"
  65              { "value"  = "lv3:ralt_switch" } } }
  66      { }
  67      { "Device"
  68         { "Identifier" = "Configured Video Device" }
  69         { "Option"     = "MonitorLayout"
  70              { "value"  = "LVDS,VGA" } }
  71         { "VideoRam"   = "229376" }
  72         { "Option"     = "NoAccel" }
  73         { "Option"     = "fbdev"
  74              { "value"  = "" } }
  75         { "Screen"
  76           { "num" = "0" } } }
  77      { }
  78      { "Screen"
  79         { "Identifier" = "Screen0" }
  80         { "Device"     = "Configured Video Device" }
  81         { "DefaultDepth" = "24" }
  82         { "Display"
  83            { "ViewPort"
  84               { "x" = "0" }
  85               { "y" = "0" } }
  86            { "Depth"    = "24" }
  87            { "Modes"
  88               { "mode" = "1280x1024" }
  89               { "mode" = "1280x960" }
  90               { "mode" = "1280x800" } } } }
  91      { }
  92      { "Module"
  93        { "extmod"
  94            { "Option" = "omit XFree86-DGA" } } }