# 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.

    [ (modulesPath + "/installer/scan/not-detected.nix")

    [
      (modulesPath + "/installer/scan/not-detected.nix")

  boot.extraModulePackages = [ ];

  boot.extraModulePackages = [];

    { device = "/dev/disk/by-uuid/3b1f8807-4a01-4c95-a905-1b74d323949e";

    {
      device = "/dev/disk/by-uuid/3b1f8807-4a01-4c95-a905-1b74d323949e";

    { device = "/dev/disk/by-uuid/f61d824b-a71f-41c1-9d0f-1f53fc91f53f";

    {
      device = "/dev/disk/by-uuid/f61d824b-a71f-41c1-9d0f-1f53fc91f53f";

    { device = "/dev/disk/by-uuid/6B6B-1A55";

    {
      device = "/dev/disk/by-uuid/6B6B-1A55";

  swapDevices = [ ];

  swapDevices = [];

# 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’).

      # Include the results of the hardware scan.

  # networking.hostName = "nixos"; # Define your hostname.
  # networking.wireless.enable = true;  # Enables wireless support via wpa_supplicant.

  # Set your time zone.

  # Configure network proxy if necessary
  # networking.proxy.default = "http://user:password@proxy:port/";
  # networking.proxy.noProxy = "127.0.0.1,localhost,internal.domain";

  # Select internationalisation properties.

  # Enable the X11 windowing system.

  # Enable the Plasma 5 Desktop Environment.

  # Configure keymap in X11
  # services.xserver.layout = "us";
  # services.xserver.xkbOptions = "eurosign:e";

  # Enable CUPS to print documents.
  # services.printing.enable = true;
  # Enable sound.
  # sound.enable = true;
  # hardware.pulseaudio.enable = true;
  # Enable touchpad support (enabled default in most desktopManager).
  # services.xserver.libinput.enable = true;
  # Define a user account. Don't forget to set a password with ‘passwd’.

  # List packages installed in system profile. To search, run:
  # $ nix search wget
  environment.systemPackages = let
    scaffold_pages = pkgs.writeScriptBin "scaffold_pages" ''
      #!${pkgs.stdenv.shell}
      echo Cloning the repository…
      git clone https://codeberg.org/rocky_fuchsian_frog/pages
      echo Changing directories…
      cd pages
      echo Initializing flake…
      nix flake init -t github:nmattia/naersk
      echo Initializing flake lock…
      nix flake lock
      echo Staging changes…
      git add .
      echo Initializing cargo…
      nix develop -c cargo init
      echo Staging changes…
      git add .
      echo Initializing cargo lock…
      nix-develop -c cargo generate-lockfile
      echo Staging changes…
      git add .
      echo Correct package name…
      sed 's/hello-world/pages/w flake.nix' flake.nix
      echo Staging changes…
      git add .
      echo Building…
      nix build
      echo Running…
      nix run
      echo Your turn! If all’s well, you should have seen “Hello World” written to stdout.
    '';
  in
    [ scaffold_pages ];

  # 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;
  # };
  # List services that you want to enable:
  # Enable the OpenSSH daemon.
  # services.openssh.enable = true;
  # Open ports in the firewall.
  # networking.firewall.allowedTCPPorts = [ ... ];
  # networking.firewall.allowedUDPPorts = [ ... ];
  # Or disable the firewall altogether.

  # This value determines the NixOS release from which the default
  # settings for stateful data, like file locations and database versions
  # on your system were taken. It‘s perfectly fine and recommended to leave
  # this value at the release version of the first install of this system.
  # Before changing this value read the documentation for this option
  # (e.g. man configuration.nix or on https://nixos.org/nixos/options.html).