| 
									
										
										
										
											2014-04-14 16:26:48 +02:00
										 |  |  | { config, lib, pkgs, ... }: | 
					
						
							| 
									
										
										
										
											2013-07-03 13:59:00 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-04-14 16:26:48 +02:00
										 |  |  | with lib; | 
					
						
							| 
									
										
										
										
											2013-10-09 14:30:45 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-07-03 13:59:00 +02:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2013-09-04 13:05:09 +02:00
										 |  |  |   imports = | 
					
						
							| 
									
										
										
										
											2013-07-03 13:59:00 +02:00
										 |  |  |     [ ../virtualisation/virtualbox-image.nix | 
					
						
							|  |  |  |       ../installer/cd-dvd/channel.nix | 
					
						
							|  |  |  |       ../profiles/demo.nix | 
					
						
							|  |  |  |       ../profiles/clone-config.nix | 
					
						
							|  |  |  |     ]; | 
					
						
							| 
									
										
										
										
											2013-10-09 13:30:31 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-08-31 09:18:13 -07:00
										 |  |  |   # FIXME: UUID detection is currently broken | 
					
						
							|  |  |  |   boot.loader.grub.fsIdentifier = "provided"; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-10-09 13:30:31 +02:00
										 |  |  |   # Allow mounting of shared folders. | 
					
						
							|  |  |  |   users.extraUsers.demo.extraGroups = [ "vboxsf" ]; | 
					
						
							| 
									
										
										
										
											2013-10-09 13:33:43 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |   # Add some more video drivers to give X11 a shot at working in | 
					
						
							|  |  |  |   # VMware and QEMU. | 
					
						
							| 
									
										
										
										
											2014-04-29 12:58:54 +02:00
										 |  |  |   services.xserver.videoDrivers = mkOverride 40 [ "virtualbox" "vmware" "cirrus" "vesa" ]; | 
					
						
							| 
									
										
										
										
											2013-07-03 13:59:00 +02:00
										 |  |  | } |