2024-07-20 04:10:56 +00:00
|
|
|
{
|
|
|
|
lib,
|
|
|
|
config,
|
|
|
|
pkgs,
|
|
|
|
...
|
|
|
|
}:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
{
|
|
|
|
options.default.terminal = mkOption {
|
|
|
|
type = types.str;
|
2025-02-23 13:52:07 +00:00
|
|
|
# TODO: Make sure everything works even without a default value here
|
|
|
|
# Maybe make sure most gui applications do not exist in the default specialisation
|
|
|
|
default = "foot";
|
2024-07-20 04:10:56 +00:00
|
|
|
description = "Default terminal application";
|
|
|
|
};
|
|
|
|
}
|