+3

Makefile

reviewed

··· 37 37 --write-efi-boot-entries \ 38 38 --flake '.#${host}' \ 39 39 --disk main '${disk}' 40 40 + 41 41 + clean: 42 42 + nix-collect-garbage --delete-old --log-format bar

+9

flake.nix

reviewed

··· 39 39 ./hosts/thinkpadz13 40 40 ]; 41 41 }; 42 42 + codeserver = nixpkgs.lib.nixosSystem { 43 43 + modules = [ 44 44 + disko.nixosModules.disko 45 45 + ./configuration.nix 46 46 + home-manager.nixosModules.home-manager 47 47 + ./users/khuedoan 48 48 + ./hosts/codeserver 49 49 + ]; 50 50 + }; 42 51 }; 43 52 }; 44 53 }

+11

hosts/codeserver/default.nix

reviewed

··· 1 1 + { pkgs, ... }: 2 2 + 3 3 + { 4 4 + imports = [ 5 5 + ./hardware-configuration.nix 6 6 + ]; 7 7 + 8 8 + networking = { 9 9 + hostName = "codeserver"; 10 10 + }; 11 11 + }

+24

hosts/codeserver/hardware-configuration.nix

reviewed

··· 1 1 + # Do not modify this file! It was generated by ‘nixos-generate-config’ 2 2 + # and may be overwritten by future invocations. Please make changes 3 3 + # to /etc/nixos/configuration.nix instead. 4 4 + { config, lib, pkgs, modulesPath, ... }: 5 5 + 6 6 + { 7 7 + imports = 8 8 + [ (modulesPath + "/profiles/qemu-guest.nix") 9 9 + ]; 10 10 + 11 11 + boot.initrd.availableKernelModules = [ "xhci_pci" "virtio_pci" "usbhid" "usb_storage" "sr_mod" ]; 12 12 + boot.initrd.kernelModules = [ ]; 13 13 + boot.kernelModules = [ ]; 14 14 + boot.extraModulePackages = [ ]; 15 15 + 16 16 + # Enables DHCP on each ethernet and wireless interface. In case of scripted networking 17 17 + # (the default) this is the recommended approach. When using systemd-networkd it's 18 18 + # still possible to use this option, but it's recommended to use it in conjunction 19 19 + # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`. 20 20 + networking.useDHCP = lib.mkDefault true; 21 21 + # networking.interfaces.enp0s1.useDHCP = lib.mkDefault true; 22 22 + 23 23 + nixpkgs.hostPlatform = lib.mkDefault "aarch64-linux"; 24 24 + }