2019-01-09 00:28:02 +01:00
|
|
|
{ pkgs, config, lib, ...}:
|
|
|
|
{
|
|
|
|
|
|
|
|
imports = [ ./zsh/zsh.nix ];
|
|
|
|
|
|
|
|
|
2020-05-12 14:33:06 +02:00
|
|
|
home.file.kitty = {
|
|
|
|
target = ".config/kitty/kitty.conf";
|
|
|
|
text = ''
|
2020-05-12 10:58:42 +02:00
|
|
|
#term xterm-256color
|
|
|
|
font_family monospace
|
|
|
|
font_size 12.0
|
|
|
|
background_opacity 0.7
|
2019-07-13 03:01:39 +02:00
|
|
|
|
2020-05-12 10:58:42 +02:00
|
|
|
clear_all_shortcuts yes
|
2019-07-13 03:01:39 +02:00
|
|
|
|
2020-05-12 10:58:42 +02:00
|
|
|
map ctrl+shift+c copy_to_clipboard
|
|
|
|
map ctrl+shift+v paste_from_clipboard
|
2019-07-13 03:01:39 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
2020-05-12 10:58:42 +02:00
|
|
|
map ctrl+plus change_font_size all +2.0
|
|
|
|
map ctrl+shift+plus change_font_size all -2.0
|
2019-01-09 00:28:02 +01:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2020-05-12 14:33:06 +02:00
|
|
|
|
|
|
|
home.packages = [
|
|
|
|
pkgs.gnome3.gnome-terminal
|
|
|
|
pkgs.kitty
|
2019-01-10 14:25:23 +01:00
|
|
|
pkgs.ncurses.dev
|
2019-01-09 00:28:02 +01:00
|
|
|
];
|
|
|
|
}
|