2024-09-08 23:23:22 +02:00
|
|
|
|
# Edet this configuration file to define what should be installed on
|
|
|
|
|
|
# your system. Help is available in the configuration.nix(5) man page
|
|
|
|
|
|
# and in the NixOS manual (accessible by running ‘nixos-help’).
|
|
|
|
|
|
{
|
|
|
|
|
|
config,
|
|
|
|
|
|
pkgs,
|
|
|
|
|
|
lib,
|
|
|
|
|
|
...
|
|
|
|
|
|
}: {
|
|
|
|
|
|
imports = [
|
|
|
|
|
|
# Include the results of the hardware scan.
|
|
|
|
|
|
./hardware-configuration.nix
|
|
|
|
|
|
];
|
|
|
|
|
|
|
2024-12-02 21:04:55 +01:00
|
|
|
|
local.sys = {
|
|
|
|
|
|
baseline.enable = true;
|
2024-12-02 21:14:13 +01:00
|
|
|
|
|
|
|
|
|
|
yubikey.enable = true;
|
2024-12-02 21:23:52 +01:00
|
|
|
|
audio.enable = true;
|
2024-12-02 21:28:35 +01:00
|
|
|
|
graphics.enable = true;
|
2024-12-02 21:34:37 +01:00
|
|
|
|
virtualisation.enable = true;
|
2024-12-02 21:04:55 +01:00
|
|
|
|
};
|
|
|
|
|
|
|
2024-09-08 23:23:22 +02:00
|
|
|
|
# Use the systemd-boot EFI boot loader.
|
|
|
|
|
|
boot.loader.systemd-boot.enable = true;
|
|
|
|
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
|
|
|
|
|
boot.tmp.useTmpfs = true;
|
|
|
|
|
|
boot.kernelPackages = pkgs.linuxPackages_latest;
|
|
|
|
|
|
|
|
|
|
|
|
networking.hostName = "posixlycorrect";
|
|
|
|
|
|
networking.networkmanager.enable = true;
|
|
|
|
|
|
|
|
|
|
|
|
# Set your time zone.
|
|
|
|
|
|
time.timeZone = "America/Costa_Rica";
|
|
|
|
|
|
|
|
|
|
|
|
# The global useDHCP flag is deprecated, therefore explicitly set to false here.
|
|
|
|
|
|
# Per-interface useDHCP will be mandatory in the future, so this generated config
|
|
|
|
|
|
# replicates the default behaviour.
|
|
|
|
|
|
networking.useDHCP = false;
|
|
|
|
|
|
networking.interfaces.enp7s0.useDHCP = true;
|
|
|
|
|
|
networking.interfaces.wlp6s0.useDHCP = true;
|
|
|
|
|
|
|
|
|
|
|
|
# Select internationalisation properties.
|
|
|
|
|
|
i18n.defaultLocale = "en_US.UTF-8";
|
|
|
|
|
|
|
|
|
|
|
|
users = {
|
|
|
|
|
|
users.fabian = {
|
|
|
|
|
|
isNormalUser = true;
|
|
|
|
|
|
uid = 1002; # nunca cambiar mi ID de usuario
|
|
|
|
|
|
group = "fabian";
|
|
|
|
|
|
shell = pkgs.zsh;
|
|
|
|
|
|
extraGroups = ["users" "wheel" "networkmanager" "dialout" "libvirtd"];
|
|
|
|
|
|
};
|
|
|
|
|
|
groups.fabian.gid = 1002;
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
services.udev.packages = [
|
|
|
|
|
|
pkgs.android-udev-rules
|
|
|
|
|
|
];
|
|
|
|
|
|
}
|
