format with alejandra

This commit is contained in:
Vinzenz Schroeter 2023-04-04 22:02:28 +02:00
parent 833f3f79e2
commit 970480cb53
4 changed files with 39 additions and 42 deletions

View file

@ -11,17 +11,13 @@
nixpkgs.config.allowUnfree = true;
boot = {
# supportedFilesystems = [ "btrfs" ];
loader = {
boot.loader = {
systemd-boot.enable = true;
efi = {
canTouchEfiVariables = true;
efiSysMountPoint = "/boot/efi";
};
};
};
networking = {
# wireless.enable = true; # Enables wireless support via wpa_supplicant.
@ -50,12 +46,9 @@
};
};
time.timeZone = "Europe/Berlin";
i18n = {
defaultLocale = "en_US.UTF-8";
extraLocaleSettings = {
LC_ADDRESS = "de_DE.UTF-8";
LC_IDENTIFICATION = "de_DE.UTF-8";
@ -90,7 +83,6 @@
enable = true;
permitRootLogin = "no";
};
};
# Configure console keymap

View file

@ -56,7 +56,7 @@
my.insync-v3
jetbrains.rider
alejandra
gnome-secrets
# gnome-secrets
amberol
dotnet-sdk_7
# gnome workbench

View file

@ -1,10 +1,15 @@
# Do not modify this file! It was generated by nixos-generate-config
# and may be overwritten by future invocations. Please make changes
# to /etc/nixos/configuration.nix instead.
{ config, lib, pkgs, modulesPath, ... }:
{
imports =
[ (modulesPath + "/installer/scan/not-detected.nix")
config,
lib,
pkgs,
modulesPath,
...
}: {
imports = [
(modulesPath + "/installer/scan/not-detected.nix")
];
boot.initrd.availableKernelModules = ["xhci_pci" "ehci_pci" "ahci" "usbhid" "usb_storage" "sd_mod" "sdhci_pci"];
@ -12,19 +17,19 @@
boot.kernelModules = ["kvm-intel"];
boot.extraModulePackages = [];
fileSystems."/" =
{ device = "/dev/disk/by-uuid/34cb86c4-8823-4785-9672-92ef0bcd5eaf";
fileSystems."/" = {
device = "/dev/disk/by-uuid/34cb86c4-8823-4785-9672-92ef0bcd5eaf";
fsType = "btrfs";
options = ["subvol=@"];
};
fileSystems."/boot/efi" =
{ device = "/dev/disk/by-uuid/2381-1CD2";
fileSystems."/boot/efi" = {
device = "/dev/disk/by-uuid/2381-1CD2";
fsType = "vfat";
};
swapDevices =
[ { device = "/dev/disk/by-uuid/f5932f70-60e4-4abe-b23d-2cab3c095c7d"; }
swapDevices = [
{device = "/dev/disk/by-uuid/f5932f70-60e4-4abe-b23d-2cab3c095c7d";}
];
# Enables DHCP on each ethernet and wireless interface. In case of scripted networking