{ config, pkgs, ... }: { hardware = { pulseaudio = { enable = true; # Stupid but need it to control sound from acpid # systemWide = true; # Enable bluetooth audio package = pkgs.pulseaudioFull; # Disable cork module configFile = pkgs.runCommand "default.pa" {} '' grep -v module-role-cork ${config.hardware.pulseaudio.package}/etc/pulse/default.pa > $out ''; }; bluetooth.enable = true; opengl.enable = true; }; sound.enable = true; services = { xserver = { enable = true; layout = "us"; xkbVariant = "altgr-intl"; exportConfiguration = true; windowManager = { i3 = { enable = true; package = pkgs.i3-gaps; }; }; displayManager = { defaultSession = "none+i3"; }; desktopManager = { xterm.enable = false; }; # Touchpad studd libinput.enable = true; # Start dbus? # startDbusSession = true; }; # Auto mounting gvfs.enable = true; # Evolution gnome3 = { gnome-keyring.enable = true; evolution-data-server.enable = true; }; # Enable CUPS to print documents. printing.enable = true; postgresql = { enable = false; initialScript = pkgs.writeText "backend-initScript" '' CREATE ROLE julian WITH LOGIN PASSWORD 'hejmeddig' CREATEDB; CREATE DATABASE julian; GRANT ALL PRIVILEGES ON DATABASE julian TO julian; ''; }; blueman.enable = true; udev.packages = [ pkgs.yubikey-personalization ]; }; programs = { gnupg.agent = { enable = true; enableSSHSupport = true; pinentryFlavor = "gtk2"; }; dconf.enable = true; }; # Define a user account. Don't forget to set a password with ‘passwd’. users.users.julian = { isNormalUser = true; shell = pkgs.zsh; extraGroups = [ "wheel" "video" "vboxusers" "cdrom" ]; }; virtualisation.virtualbox.host.enable = true; fonts.fonts = with pkgs; [ noto-fonts noto-fonts-emoji liberation_ttf ubuntu_font_family cozette ]; environment.systemPackages = with pkgs; [ # General stuff gnupg acpi # Nixos stuff nox nix-index patchelf nix-prefetch-scripts # Network stuff networkmanagerapplet networkmanager-openconnect iw wirelesstools openconnect ]; }