{ config, pkgs, ... }: { imports = [ ./hardware-configuration.nix ]; sisyphus = { hardware.nvidia = { enable = true; model = "RTX 2060"; }; networking.openconnect-sso.enable = true; nix = { flakes.enable = true; gc.onFull.enable = true; }; programs = { direnv.enable = true; home-manager.enable = true; sops.enable = true; ssh.enable = true; }; services = { pipewire.enable = true; printing.enable = true; openrgb.enable = true; }; users.tdpeuter.enable = true; virtualisation.virtualbox.enable = true; }; boot = { kernelPackages = pkgs.linuxPackages_hardened; loader = { systemd-boot.enable = true; efi = { canTouchEfiVariables = true; efiSysMountPoint = "/boot/efi"; }; }; }; environment.systemPackages = with pkgs; [ git vim-full w3m wget zenith-nvidia ]; programs.zsh.enable = true; hardware.bluetooth.enable = true; networking = { hostName = "Tibo-NixDesk"; networkmanager.enable = true; # wireless.enable = true; # Enables wireless support via wpa_supplicant. }; system.stateVersion = "23.05"; time.timeZone = "Europe/Brussels"; i18n.defaultLocale = "en_GB.UTF-8"; console = { # font = "Lat2-Terminus16"; useXkbConfig = true; # use xkbOptions in tty. }; }