moved zsh and vscode server

This commit is contained in:
Alexander Szczepanski
2021-07-07 01:45:30 +02:00
parent 81402d2685
commit 42da77d6b1
6 changed files with 61 additions and 138 deletions

View File

@ -18,47 +18,35 @@
home-manager.users.alex = { pkgs, ... }: {
home.packages = [
pkgs.cryfs
pkgs.cinnamon.nemo
];
dconf.enable = true;
dconf.settings = {
"org/gnome/desktop/wm/preferences".titlebar-font = "Liberation Sans Bold 9";
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = {
binding = "<Super>Return";
command = "kitty";
name = "kitty";
};
# dconf.enable = true;
# dconf.settings = {
# "org/gnome/desktop/wm/preferences".titlebar-font = "Liberation Sans Bold 9";
# "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = {
# binding = "<Super>Return";
# command = "kitty";
# name = "kitty";
# };
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1" = {
binding = "<Shift><Super>Return";
command = "rofi -show drun";
name = "rofi -show drun";
};
# "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1" = {
# binding = "<Shift><Super>Return";
# command = "rofi -show drun";
# name = "rofi -show drun";
# };
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2" = {
binding = "<Super>Tab";
command = "rofi -show window";
name = "rofi -show window";
};
# "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2" = {
# binding = "<Super>Tab";
# command = "rofi -show window";
# name = "rofi -show window";
# };
"org/gnome/settings-daemon/plugins/media-keys".custom-keybindings = [
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2/"
];
# visual-bell = false;
# titlebar-font = "Liberation Sans Bold 9";
# };
# "org/gnome/mutter" = {
# button-mode = "programming";
# show-thousands = true;
# base = 10;
# word-size = 64;
# window-position = lib.hm.gvariant.mkTuple [100 100];
# };
};
# "org/gnome/settings-daemon/plugins/media-keys".custom-keybindings = [
# "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"
# "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/"
# "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2/"
# ];
# };
programs = {
ssh = {