27 october 2020
Today I got 2 more lenses I bought on ebay. Still missing the battery. Considering using my phone as a light sensor so that I don't need the photometer.
Also I swapped my laptop's 60GB SSD for a 120GB SSD.
With both windows 10 and nixos on it, space was really constrained.
I wanted to resize the ESP from 100MB to 200MB, but an error in...
libparted? didn't let me, so I created that partition anew and copied
the files over, but then the UUID changed, and I had to fix
both nixos' and windows' bootloaders.
I was chrooting into nixos from arch, but then I was like,
uh, there's only /bin/sh, what do.
https://nixos.wiki/wiki/Change_root gave me the solution:
/nix/var/nix/profiles/system/activate and /run/current-system/sw/bin/bash.
Then when fixing windows also made me google,
because after assigning a letter I'd use to run bootrec,
but that doesn't work anymore.
Gotta run bcdboot C:\windows /s V: /f UEFI now.
And after booting, delete the stale boot entry.
Everything works though, now.