wgester/dotfiles
1
0
Fork 0
forked from colonelpanic/dotfiles
Code Pull Requests Activity

[NixOS] Reenable gnome3

Browse Source
This commit is contained in:
Ivan Malison 2018-07-30 12:17:43 -07:00
parent ffb8d17b34
commit 0123b6a5d1
No known key found for this signature in database
GPG Key ID: 62530EFBE99DC2F8
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
nixos/configuration.nix
View File

@ -9,6 +9,7 @@ let
ipdb ipdb
virtualenvwrapper virtualenvwrapper
pip pip
python-language-server
]; ];
python-with-my-packages = pkgs.python3.withPackages my-python-packages; python-with-my-packages = pkgs.python3.withPackages my-python-packages;
in in
@ -143,6 +144,7 @@ in
cargo cargo
# Tools # Tools
automake
bazaar bazaar
binutils binutils
dex dex
@ -193,16 +195,18 @@ in
# environment.variables = { # environment.variables = {
# GDK_PIXBUF_MODULE_FILE = "${pkgs.librsvg.out}/lib/gdk-pixbuf-2.0/2.10.0/loaders.cache"; # GDK_PIXBUF_MODULE_FILE = "${pkgs.librsvg.out}/lib/gdk-pixbuf-2.0/2.10.0/loaders.cache";
# }; # };
programs.gnupg.agent = { enable = true; enableSSHSupport = true; };
# Enabling zsh will clobber path because of the way it sets up /etc/zshenv # Enabling zsh will clobber path because of the way it sets up /etc/zshenv
# programs.zsh.enable = true; # programs.zsh.enable = true;
# Instead we just make sure to source profile from zsh # Instead we just make sure to source profile from zsh
environment.etc."zshenv".text = environment.etc."zshenv".text =
'' ''
if [ -n "$__ETC_PROFILE_DONE" ]; then return; fi if [ -n "$__ETC_PROFILE_DONE" ]; then return; fi
source /etc/profile source /etc/profile
''; '';
programs.gnupg.agent = { enable = true; enableSSHSupport = true; };
services.openssh.enable = true; services.openssh.enable = true;
services.avahi = { services.avahi = {
enable = true; enable = true;
@ -213,6 +217,7 @@ in
userServices = true; userServices = true;
}; };
}; };
services.gnome3.at-spi2-core.enable = true;
services.kbfs.enable = true; services.kbfs.enable = true;
sound.enable = true; sound.enable = true;
hardware.pulseaudio.enable = true; hardware.pulseaudio.enable = true;
@ -223,6 +228,7 @@ in
layout = "us"; layout = "us";
desktopManager = { desktopManager = {
plasma5.enable = true; plasma5.enable = true;
gnome3.enable = true;
default = "none"; default = "none";
}; };
windowManager = { windowManager = {