fabian/nix
1
0
Fork 2
Code Issues 16 Pull requests Projects Releases Packages Wiki Activity

re-order configuration

Browse source
This commit is contained in:
Fabian Montero 2024-12-02 14:57:33 -06:00
parent 33ab479e22
commit 1add39aae0
Signed by: fabian
GPG key ID: 1FFAC35E1798174F
3 changed files with 40 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

36
sys/platforms/posixlycorrect/default.nix
View file

@ -22,24 +22,26 @@
androidSupport.enable = true;
};
# 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;
boot = {
loader = {
systemd-boot.enable = true;
efi.canTouchEfiVariables = true;
};
tmp.useTmpfs = true;
kernelPackages = pkgs.linuxPackages_latest;
};
networking.hostName = "posixlycorrect";
networking.networkmanager.enable = true;
networking = {
hostName = "posixlycorrect";
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;
# 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.
useDHCP = false;
interfaces.enp7s0.useDHCP = true;
interfaces.wlp6s0.useDHCP = true;
};
# Select internationalisation properties.
i18n.defaultLocale = "en_US.UTF-8";
@ -54,4 +56,6 @@
};
groups.fabian.gid = 1002;
};
time.timeZone = "America/Costa_Rica";
}

28
sys/platforms/vps/default.nix
View file

@ -17,6 +17,20 @@ with lib; {
baseline.enable = true;
};
networking.hostName = "vps";
users = {
users.fabian = {
isNormalUser = true;
uid = 1000;
group = "fabian";
shell = pkgs.zsh;
extraGroups = ["users" "wheel" "networkmanager" "dialout" "libvirtd"];
openssh.authorizedKeys.keyFiles = [public_files/pki/fabian.ssh];
};
groups.fabian.gid = 1000;
};
services.openssh = {
settings.PasswordAuthentication = false;
};
@ -36,20 +50,6 @@ with lib; {
};
};
networking.hostName = "vps";
users = {
users.fabian = {
isNormalUser = true;
uid = 1000;
group = "fabian";
shell = pkgs.zsh;
extraGroups = ["users" "wheel" "networkmanager" "dialout" "libvirtd"];
openssh.authorizedKeys.keyFiles = [public_files/pki/fabian.ssh];
};
groups.fabian.gid = 1000;
};
systemd.extraConfig = ''
DefaultTimeoutStartSec=900s
'';