diff options
| -rw-r--r-- | hosts/gheshki/home.nix | 4 | ||||
| -rw-r--r-- | hosts/gheshki/userOptions.nix | 1 | ||||
| -rw-r--r-- | hosts/mentat/userOptions.nix | 1 | ||||
| -rw-r--r-- | modules/term.nix | 8 |
4 files changed, 8 insertions, 6 deletions
diff --git a/hosts/gheshki/home.nix b/hosts/gheshki/home.nix index dff03e6..05ef648 100644 --- a/hosts/gheshki/home.nix +++ b/hosts/gheshki/home.nix @@ -28,7 +28,7 @@ modifier = "Mod4"; fonts = { - names = [ "BlexMono Nerd Font SemiBold" ]; + names = [ "${userOptions.fontName} SemiBold" ]; size = 10.0; }; @@ -91,7 +91,7 @@ bars = [ { fonts = { - names = [ "BlexMono Nerd Font" ]; + names = [ userOptions.fontName ]; style = "SemiBold"; size = 10.0; }; diff --git a/hosts/gheshki/userOptions.nix b/hosts/gheshki/userOptions.nix index 301838b..72631ce 100644 --- a/hosts/gheshki/userOptions.nix +++ b/hosts/gheshki/userOptions.nix @@ -3,4 +3,5 @@ userHome = "/home/amir"; gitEmail = "amir@glgdgt.com"; gitName = "Amir Saeid"; + fontName = "BlexMono Nerd Font"; } diff --git a/hosts/mentat/userOptions.nix b/hosts/mentat/userOptions.nix index 554ce1d..dfe8fcf 100644 --- a/hosts/mentat/userOptions.nix +++ b/hosts/mentat/userOptions.nix @@ -3,4 +3,5 @@ userHome = "/Users/amir"; gitEmail = "amir@glgdgt.com"; gitName = "Amir Saeid"; + fontName = "BlexMono Nerd Font"; } diff --git a/modules/term.nix b/modules/term.nix index d5979db..a99075a 100644 --- a/modules/term.nix +++ b/modules/term.nix @@ -15,19 +15,19 @@ settings = { font = { normal = { - family = "BlexMono Nerd Font"; + family = userOptions.fontName; style = "SemiBold"; }; bold = { - family = "BlexMono Nerd Font"; + family = userOptions.fontName; style = "Bold"; }; italic = { - family = "BlexMono Nerd Font"; + family = userOptions.fontName; style = "SemiBold Italic"; }; bold_italic = { - family = "BlexMono Nerd Font"; + family = userOptions.fontName; style = "Bold Italic"; }; size = 12; |