2021-07-02 22:36:30 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
|
|
|
|
cfg = config.programs.foot;
|
|
|
|
iniFormat = pkgs.formats.ini { };
|
|
|
|
|
|
|
|
in {
|
|
|
|
meta.maintainers = with lib.maintainers; [ plabadens ];
|
|
|
|
|
|
|
|
options.programs.foot = {
|
|
|
|
enable = mkEnableOption "Foot terminal";
|
|
|
|
|
|
|
|
package = mkOption {
|
|
|
|
type = types.package;
|
|
|
|
default = pkgs.foot;
|
2021-11-04 16:42:44 +00:00
|
|
|
defaultText = literalExpression "pkgs.foot";
|
2021-07-02 22:36:30 +00:00
|
|
|
description = "The foot package to install";
|
|
|
|
};
|
|
|
|
|
|
|
|
server.enable = mkEnableOption "Foot terminal server";
|
|
|
|
|
|
|
|
settings = mkOption {
|
|
|
|
type = iniFormat.type;
|
|
|
|
default = { };
|
|
|
|
description = ''
|
|
|
|
Configuration written to
|
2023-08-08 10:19:01 +00:00
|
|
|
{file}`$XDG_CONFIG_HOME/foot/foot.ini`. See <https://codeberg.org/dnkl/foot/src/branch/master/foot.ini>
|
2021-07-02 22:36:30 +00:00
|
|
|
for a list of available options.
|
|
|
|
'';
|
2021-11-04 16:42:44 +00:00
|
|
|
example = literalExpression ''
|
2021-07-02 22:36:30 +00:00
|
|
|
{
|
|
|
|
main = {
|
|
|
|
term = "xterm-256color";
|
|
|
|
|
|
|
|
font = "Fira Code:size=11";
|
|
|
|
dpi-aware = "yes";
|
|
|
|
};
|
|
|
|
|
|
|
|
mouse = {
|
|
|
|
hide-when-typing = "yes";
|
|
|
|
};
|
|
|
|
}
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
2021-11-04 16:42:44 +00:00
|
|
|
assertions =
|
|
|
|
[ (hm.assertions.assertPlatform "programs.foot" pkgs platforms.linux) ];
|
|
|
|
|
2021-07-02 22:36:30 +00:00
|
|
|
home.packages = [ cfg.package ];
|
|
|
|
|
|
|
|
xdg.configFile."foot/foot.ini" = mkIf (cfg.settings != { }) {
|
|
|
|
source = iniFormat.generate "foot.ini" cfg.settings;
|
|
|
|
};
|
|
|
|
|
|
|
|
systemd.user.services = mkIf cfg.server.enable {
|
|
|
|
foot = {
|
|
|
|
Unit = {
|
|
|
|
Description =
|
|
|
|
"Fast, lightweight and minimalistic Wayland terminal emulator.";
|
|
|
|
Documentation = "man:foot(1)";
|
|
|
|
PartOf = [ "graphical-session.target" ];
|
|
|
|
After = [ "graphical-session.target" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
Service = {
|
|
|
|
ExecStart = "${cfg.package}/bin/foot --server";
|
|
|
|
Restart = "on-failure";
|
2023-01-10 09:35:00 +00:00
|
|
|
OOMPolicy = "continue";
|
2021-07-02 22:36:30 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
Install = { WantedBy = [ "graphical-session.target" ]; };
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|