cyplo/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove gnome-related programs

Browse source
This commit is contained in:
Cyryl Płotnicki 2019-07-14 13:04:10 +01:00
parent 30293d6b58
commit 53f2068d24
2 changed files with 52 additions and 56 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
nixos/home.nix
View file

@ -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;

101
nixos/programs/alacritty.nix
View file

@ -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;
};
}
};
}