2011-03-11 17:00:10 +00:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
|
2011-09-14 19:20:50 +01:00
|
|
|
machine =
|
2011-03-11 17:00:10 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
2011-03-17 14:04:47 +00:00
|
|
|
{ require = [ ./common/user-account.nix ];
|
|
|
|
|
|
|
|
services.xserver.enable = true;
|
2011-03-11 17:00:10 +00:00
|
|
|
|
|
|
|
services.xserver.displayManager.auto.enable = true;
|
|
|
|
services.xserver.displayManager.auto.user = "alice";
|
2011-09-14 19:20:50 +01:00
|
|
|
|
2011-03-11 17:00:10 +00:00
|
|
|
services.xserver.desktopManager.xfce.enable = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
testScript =
|
|
|
|
''
|
2011-09-22 09:27:29 +01:00
|
|
|
$machine->waitForWindow(qr/xfce4-panel/);
|
2011-03-11 17:00:10 +00:00
|
|
|
$machine->sleep(10);
|
2011-08-08 18:16:49 +01:00
|
|
|
|
|
|
|
# Check that logging in has given the user ownership of devices.
|
|
|
|
$machine->succeed("getfacl /dev/snd/timer | grep -q alice");
|
2011-09-14 19:20:50 +01:00
|
|
|
|
2011-03-11 17:00:10 +00:00
|
|
|
$machine->succeed("su - alice -c 'DISPLAY=:0.0 Terminal &'");
|
|
|
|
$machine->waitForWindow(qr/Terminal/);
|
|
|
|
$machine->sleep(10);
|
|
|
|
$machine->screenshot("screen");
|
|
|
|
'';
|
2011-09-14 19:20:50 +01:00
|
|
|
|
2011-03-11 17:00:10 +00:00
|
|
|
}
|