nixosOnMBP.org

Get Nixos ISO

https://nixos.org/download.html

Install Driver (doesn’t work as it is)

https://apple.stackexchange.com/questions/168291/how-to-release-mouse-capture-in-virtualbox

https://apple.stackexchange.com/questions/64064/how-do-i-find-out-what-wireless-card-my-mac-has

login as root

sudo passwd root

GParted for partitions

https://gparted.org/ https://gparted.org/display-doc.php?name=help-manual

We need 3 partitions

1. boot (512M)
2. swap (same with memory)
3. main (the rest)

Formatting

mkfs.fat -F 32 -n boot /dev/sda3
mkswap -L swap /dev/sda2
mkfs.ext4 -L nixos /dev/sda1

Install

mount /dev/disk/by-label/nixos /mnt
mkdir -p /mnt/boot
mount /dev/disk/by-label/boot /mnt/boot
swapon /dev/sda2
nixos-generate-config --root /mnt
nix-env -f '<nixpkgs>' -iA emacs
emacs /mnt/etc/nixos/configuration.nix

// boot.loader.systemd-boot.enable to true
boot.loader.efi.canTouchEfiVariables = true;
boot.loader.grub.enable = true;
boot.loader.grub.devices = [ "nodev" ];
boot.loader.grub.efiInstallAsRemovable = true;
boot.loader.grub.efiSupport = true;
boot.loader.grub.useOSProber = true;

References

• https://hubmanual.com/install-and-dual-boot-ubuntu-on-macos-catalina/
• https://thoughtbot.com/blog/install-linux-on-a-macbook-air
• https://www.youtube.com/watch?v=oPymb2-IXbg
• https://www.youtube.com/watch?v=82vrj22omyQ
• https://nixos.org/nixos/manual/
• NixOS/nixpkgs#63103