guix.sh

  echo 'network={
    ssid="Internet Robot"
    key_mgmt=WPA-PSK
    psk="im_sorry"
  }' > wifi.conf
  rfkill unblock all
  ifconfig -a # wlan0
  wpa_supplicant -c wifi.conf -i wlan0 -B  # outputs some failures, but turns out unimportant
  dhclient -v wlan0
  ping gnu.com # get bytes, yay
  lsblk # we get nvme0n1(p[1-4])?
  fdisk /dev/nvme0n1
  m # help
  d # delete old partitions
  # note
  n # add new partitions, with 512MiB in EFI system partition, 2GiB in MiB in SWAP, 150G in /mnt, rest (313.3G) in /home
  # not removing the vfat, swap, ext4, ext4 signatures
  mkfs.fat -F 32 /dev/nvme0n1p1 # /mnt/boot/efi
  mkswap /dev/nvme0n1p2
  swapon /dev/nvme0n1p2
  mkfs.ext4 /dev/nvme0n1p3 # root lives at /mnt
  mkfs.ext4 /dev/nvme0n1p4 # lives at /mnt/home
  mount /dev/nvme0n1p3 /mnt
  mount /dev/nvme0n1p1 /mnt/boot/efi
  mount /dev/nvme0n1p4 /mnt/home
  cd /mnt
  mkdir -p {home,etc,boot/efi}
  guix pull # and wait for awhile
  hash guix # ensure updated profile path is active
  cd etc
  cp /etc/configuration/desktop.scm config.scm
  chmod 660 config.scm
  # change config.scm as desired, see gist
  emacs config.scm
  guix system init /mnt/etc/config.scm /mnt

https://gist.github.com/thor314/378deae85b474c947c5b34ecdc9e3b22

Last command returns error:

--boot directory /mnt/boot --bootloader-id=Guix --efi-directory /mnt/boot/efi exited with status 1: output follows:
Installing fro x86_64-efi platform
/gnu... error: /mnt/boot/efi doesn't look like an EFI partition.