From 53f2068d24b739b3e9e726bfc39d49ff4f402b3c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= Date: Sun, 14 Jul 2019 13:04:10 +0100 Subject: [PATCH] Remove gnome-related programs --- nixos/home.nix | 7 +-- nixos/programs/alacritty.nix | 101 +++++++++++++++++------------------ 2 files changed, 52 insertions(+), 56 deletions(-) diff --git a/nixos/home.nix b/nixos/home.nix index 1beccb4b..252d2c84 100644 --- a/nixos/home.nix +++ b/nixos/home.nix @@ -15,10 +15,8 @@ in home.packages = with pkgs; [ keepass fontconfig nodejs rustup gcc gdb binutils xclip pkgconfig veracrypt gitAndTools.diff-so-fancy - gnome3.gnome-shell-extensions chrome-gnome-shell gnomeExtensions.clipboard-indicator - gnomeExtensions.caffeine gnomeExtensions.no-title-bar - openjdk11 gimp restic glxinfo discord steam - zoom-us unstable.notable + openjdk11 gimp restic glxinfo discord + unstable.notable nodejs-10_x hugo mercurial terraform libreoffice unzip tor-browser-bundle-bin aria vlc jetbrains.goland jetbrains.clion @@ -38,7 +36,6 @@ in ./user-xsession.nix ]; - programs = { home-manager.enable = true; diff --git a/nixos/programs/alacritty.nix b/nixos/programs/alacritty.nix index 6db9b103..f1be2f6d 100644 --- a/nixos/programs/alacritty.nix +++ b/nixos/programs/alacritty.nix @@ -1,64 +1,63 @@ { config, pkgs, ... }: { - programs.alacritty = { - enable = true; - settings = { - window.decorations = "none"; - window.startup_mode = "Fullscreen"; + programs.alacritty = { + enable = true; + settings = { + window.decorations = "none"; + window.startup_mode = "Fullscreen"; - scrolling = { - history = 32000; - multiplier = 3; - faux_multiplier = 3; - auto_scroll = false; + scrolling = { + history = 32000; + multiplier = 3; + faux_multiplier = 3; + auto_scroll = false; + }; + + tabspaces = 4; + + font = { + family = "DejaVu Sans Mono for Powerline"; + size = 12.0; + }; + + draw_bold_text_with_bright_colors = true; + + colors = { + primary = { + background= "0x002b36"; + foreground= "0x839496"; }; - tabspaces = 4; - - font = { - family = "DejaVu Sans Mono for Powerline"; - size = 12.0; + normal = { + black= "0x073642"; + red= "0xdc322f"; + green= "0x859900"; + yellow= "0xb58900"; + blue= "0x268bd2"; + magenta= "0xd33682"; + cyan= "0x2aa198"; + white= "0xeee8d5"; }; - draw_bold_text_with_bright_colors = true; - - colors = { - primary = { - background= "0x002b36"; - foreground= "0x839496"; - - }; - - normal = { - black= "0x073642"; - red= "0xdc322f"; - green= "0x859900"; - yellow= "0xb58900"; - blue= "0x268bd2"; - magenta= "0xd33682"; - cyan= "0x2aa198"; - white= "0xeee8d5"; - }; - - bright = { - black= "0x002b36"; - red= "0xcb4b16"; - green= "0x586e75"; - yellow= "0x657b83"; - blue= "0x839496"; - magenta= "0x6c71c4"; - cyan= "0x93a1a1"; - white= "0xfdf6e3"; - }; + bright = { + black= "0x002b36"; + red= "0xcb4b16"; + green= "0x586e75"; + yellow= "0x657b83"; + blue= "0x839496"; + magenta= "0x6c71c4"; + cyan= "0x93a1a1"; + white= "0xfdf6e3"; + }; background_opacity= 1.0; dynamic_title= true; }; - cursor= { - style = "Block"; - unfocused_hollow= true; - }; - live_config_reload= true; + cursor= { + style = "Block"; + unfocused_hollow= true; }; + live_config_reload= true; }; - } + }; +}