2016-09-30 17:02:52 +02:00
|
|
|
# GNOME Documents daemon.
|
|
|
|
|
|
|
|
{ config, pkgs, lib, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
###### interface
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
services.gnome3.gnome-terminal-server = {
|
|
|
|
|
|
|
|
enable = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
|
|
|
description = ''
|
|
|
|
Whether to enable GNOME Terminal server service,
|
|
|
|
needed for gnome-terminal.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
###### implementation
|
|
|
|
|
|
|
|
config = mkIf config.services.gnome3.gnome-terminal-server.enable {
|
|
|
|
|
2018-02-25 03:23:58 +01:00
|
|
|
environment.systemPackages = [ pkgs.gnome3.gnome-terminal ];
|
2016-09-30 17:02:52 +02:00
|
|
|
|
2018-02-25 03:23:58 +01:00
|
|
|
services.dbus.packages = [ pkgs.gnome3.gnome-terminal ];
|
2016-09-30 17:02:52 +02:00
|
|
|
|
2018-02-25 03:23:58 +01:00
|
|
|
systemd.packages = [ pkgs.gnome3.gnome-terminal ];
|
2016-09-30 17:02:52 +02:00
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|