• loadkeys fr
• check ip addressing : ip a
• fdisk /dev/sda
  • Use all disk
    • new partition: n
    • primary: p
    • all default
    • flag it bootable: a
• mkfs.ext4 -L nixos /dev/sda1
• mount /dev/disk/by-label/nixos /mnt
• nixos-generate-config --root /mnt

• systemctl stop wpa_supplicant.service
• wpa_supplicant -B -i INTERFACE -c <(wpa_passphrase 'ESSID' 'KEY')
• Wait a bit...

• export CURL_NIX_FLAGS="-x https://proxy.domain:port/"
• export http_proxy=https://proxy.domain:port/
• export https_proxy=https://proxy.domain:port/

• nix-env -i git --verbose

• cd /mnt/etc/nixos
• git init
• git remote add origin https://github.com/bessonm/nixos-conf.git
• git fetch --all
• mv configuration.nix generated.conf.nix
• git checkout master
• Update configuration or create new machine if needed
• ln -s ./machine/vm.nix machine.nix
• nixos-install
• reboot

Welcome home again :)

• sudo nix-env -p /nix/var/nix/profiles/system --list-generations
• sudo nix-collect-garbage -d

• Boot from the installation media
• Mount the root partition: mount /dev/disk/by-label/nixos /mnt #
• Mount the boot partition: mount /dev/disk/by-label/ESP /mnt/boot
• Bind system virtual file systems under /mnt : for i in dev proc sys; do mount --rbind /$i /mnt/$i; done
• Run the command that the installer would run: NIXOS_INSTALL_BOOTLOADER=1 chroot /mnt /nix/var/nix/profiles/system/bin/switch-to-configuration boot
• Reboot to UEFI setup
• Add boot sequence: ESP/EFI/systemd/systemd-bootx64.efi