mirror of
https://github.com/thegeneralist01/config.git
synced 2026-03-10 02:30:29 +01:00
fix ghostty theme on linux
This commit is contained in:
parent
8c73ef4505
commit
563c1a6a7b
1 changed files with 2 additions and 2 deletions
|
|
@ -1,4 +1,4 @@
|
||||||
{ lib, ... }: {
|
{ lib, config, ... }: {
|
||||||
options.theme = {
|
options.theme = {
|
||||||
batTheme = lib.mkOption {
|
batTheme = lib.mkOption {
|
||||||
type = lib.types.str;
|
type = lib.types.str;
|
||||||
|
|
@ -8,7 +8,7 @@
|
||||||
|
|
||||||
ghosttyTheme = lib.mkOption {
|
ghosttyTheme = lib.mkOption {
|
||||||
type = lib.types.str;
|
type = lib.types.str;
|
||||||
default = "Gruvbox Dark Hard";
|
default = if config.onLinux then "GruvboxDarkHard" else "Gruvbox Dark Hard";
|
||||||
description = "Theme name for Ghostty.";
|
description = "Theme name for Ghostty.";
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue