2009-03-06 13:27:42 +01:00
|
|
|
{pkgs, config, ...}:
|
2006-11-20 21:50:52 +01:00
|
|
|
|
2009-03-06 13:27:42 +01:00
|
|
|
###### implementation
|
2006-11-20 21:50:52 +01:00
|
|
|
|
2009-03-06 13:27:42 +01:00
|
|
|
{
|
|
|
|
services = {
|
|
|
|
extraJobs = [{
|
|
|
|
name = "maintenance-shell";
|
|
|
|
|
|
|
|
job = ''
|
|
|
|
start on maintenance
|
|
|
|
start on stalled
|
|
|
|
|
|
|
|
script
|
|
|
|
exec < /dev/tty1 > /dev/tty1 2>&1
|
|
|
|
echo \"\"
|
|
|
|
echo \"<<< MAINTENANCE SHELL >>>\"
|
|
|
|
echo \"\"
|
|
|
|
exec ${pkgs.bash}/bin/sh
|
|
|
|
end script
|
|
|
|
'';
|
|
|
|
}];
|
|
|
|
};
|
2006-11-20 21:50:52 +01:00
|
|
|
}
|