add kitty

This commit is contained in:
Ingolf Wagner 2023-12-08 19:54:55 +01:00
parent 88113157dc
commit e54b1d50d2
No known key found for this signature in database
GPG key ID: 76BF5F1928B9618B
2 changed files with 9 additions and 0 deletions

View file

@ -24,6 +24,12 @@ let
in in
{ {
config = lib.mkIf config.components.gui.enable { config = lib.mkIf config.components.gui.enable {
environment.systemPackages = [
# we install this to have a terminal with a dark theme
pkgs.kitty
];
home-manager.users.mainUser = { home-manager.users.mainUser = {
programs.i3status-rust = { programs.i3status-rust = {
enable = true; enable = true;

View file

@ -16,6 +16,7 @@
pipenv pipenv
zlib # needed for NumPy zlib # needed for NumPy
nodejs nodejs
git
]); ]);
runScript = "pycharm-professional"; runScript = "pycharm-professional";
}; };
@ -43,6 +44,8 @@
overviewer overviewer
openscad
freecad
cura cura
# record your terminal # record your terminal