chore: init repo

nixos/configuration.nix

@@ -0,0 +1,133 @@
+# Edit 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, ... }:
+
+{
+  imports =
+    [ 
+      ./hardware-configuration.nix
+    ];
+
+  # Use flakes.
+  nix.settings.experimental-features = "nix-command flakes";
+
+  # Bootloader.
+  boot = {
+    loader = {
+      systemd-boot.enable = true;
+      efi.canTouchEfiVariables = true;
+    };
+    kernelPackages = pkgs.linuxPackages_latest;
+    initrd.luks.devices."luks-374c6259-18c4-462b-9f30-9c9648de00ae".device = "/dev/disk/by-uuid/374c6259-18c4-462b-9f30-9c9648de00ae";
+  };
+
+  networking = {
+    hostName = "nixos";
+    networkmanager.enable = true;
+    wireless.networks.eduroam = {
+      auth = ''
+        key_mgmt=WPA-EAP
+        eap=PWD
+        identity="henri.saudubray@universite-paris-saclay.fr"
+        password=""
+      '';
+    };
+  };
+
+  # Set your time zone.
+  time.timeZone = "Europe/Paris";
+
+  # Select internationalisation properties.
+  i18n = {
+    defaultLocale = "en_GB.UTF-8";
+    extraLocaleSettings = {
+      LC_ADDRESS = "fr_FR.UTF-8";
+      LC_IDENTIFICATION = "fr_FR.UTF-8";
+      LC_MEASUREMENT = "fr_FR.UTF-8";
+      LC_MONETARY = "fr_FR.UTF-8";
+      LC_NAME = "fr_FR.UTF-8";
+      LC_NUMERIC = "fr_FR.UTF-8";
+      LC_PAPER = "fr_FR.UTF-8";
+      LC_TELEPHONE = "fr_FR.UTF-8";
+      LC_TIME = "fr_FR.UTF-8";
+    };
+  };
+
+  services = {
+    xserver = {
+      # Use X11.
+      enable = true;
+      # Set keyboard layout in X11.
+      xkb = {
+        layout = "fr";
+        variant = "ergol";
+      };
+    };
+    # Use GNOME.
+    displayManager.gdm.enable = true;
+    desktopManager.gnome.enable = true;
+    # Use CUPS for printing.
+    printing.enable = true;
+    # Use pipewire for audio.
+    pulseaudio.enable = false;
+    pipewire = {
+      enable = true;
+      alsa = {
+        enable = true;
+        support32Bit = true;
+      };
+      pulse.enable = true;
+    };
+    openssh.enable = true;
+  };
+
+  # Configure console keymap.
+  console.keyMap = "fr";
+
+  # Define a user account.
+  users.users.hms = {
+    isNormalUser = true;
+    description = "hms";
+    extraGroups = [ "networkmanager" "wheel" ];
+    packages = with pkgs; [];
+  };
+
+  # Install firefox.
+  programs.firefox.enable = true;
+
+  nixpkgs = {
+    overlays = [];
+    # Allow unfree packages
+    config.allowUnfree = true;
+  };
+
+  # List packages installed in system profile. To search, run:
+  # $ nix search wget
+  environment.systemPackages = with pkgs; [
+    helix
+    wget
+    gnome-tweaks
+    gnomeExtensions.blur-my-shell
+    gnomeExtensions.clipboard-indicator
+    gnomeExtensions.rounded-window-corners-reborn
+    gnomeExtensions.runcat
+    nerd-fonts.caskaydia-cove
+    adw-gtk3
+    gnumake
+    clang
+    just
+    xclip
+  ];
+
+  # Some programs need SUID wrappers, can be configured further or are
+  # started in user sessions.
+  # programs.mtr.enable = true;
+  programs.gnupg.agent = {
+    enable = true;
+    enableSSHSupport = true;
+  };
+
+  system.stateVersion = "25.11"; # Did you read the comment?
+}

nixos/hardware-configuration.nix

@@ -0,0 +1,35 @@
+# 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")
+    ];
+
+  boot.initrd.availableKernelModules = [ "xhci_pci" "thunderbolt" "vmd" "nvme" "usb_storage" "usbhid" "sd_mod" "rtsx_pci_sdmmc" ];
+  boot.initrd.kernelModules = [ ];
+  boot.kernelModules = [ "kvm-intel" ];
+  boot.extraModulePackages = [ ];
+
+  fileSystems."/" =
+    { device = "/dev/mapper/luks-de976821-5bfe-4c34-92ff-5d4d607e42c4";
+      fsType = "ext4";
+    };
+
+  boot.initrd.luks.devices."luks-de976821-5bfe-4c34-92ff-5d4d607e42c4".device = "/dev/disk/by-uuid/de976821-5bfe-4c34-92ff-5d4d607e42c4";
+
+  fileSystems."/boot" =
+    { device = "/dev/disk/by-uuid/6137-E7B4";
+      fsType = "vfat";
+      options = [ "fmask=0077" "dmask=0077" ];
+    };
+
+  swapDevices =
+    [ { device = "/dev/mapper/luks-374c6259-18c4-462b-9f30-9c9648de00ae"; }
+    ];
+
+  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
+  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+}