diff options
Diffstat (limited to 'nix/profiles/home-manager')
| -rw-r--r-- | nix/profiles/home-manager/shell.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nix/profiles/home-manager/shell.nix b/nix/profiles/home-manager/shell.nix index a7d4e49..95b8dd3 100644 --- a/nix/profiles/home-manager/shell.nix +++ b/nix/profiles/home-manager/shell.nix @@ -74,7 +74,7 @@ font = { normal.family = "Monaspace Argon"; bold = { style = "Bold"; }; - size = 18; + size = 16; }; }; }; @@ -93,7 +93,7 @@ setw -g mouse on # Avoid date/time taking up space - set -g status-right \'\' + set -g status-right "" set -g status-right-length 0 set-option -g renumber-windows on |