An unofficial Debian Installer for Pinebook Pro

[moonwalkers]

If you have a 64G emmc and a 64G uSD it can sometimes be damn hard to tell
which is which, even ,,,   dmesg|grep mmcblk    ,,is sometimes a bit confusing
So, I suggest, when booted to emmc and no uSD card in, either
dosfslabel or e2label, as suitable and something like boot-emmc or emmc-root
blkid will show labels,, lsblk does not

lsblk -f does...

Indeed, even better than bare lsblk *thumbsup*

---

I don't look for mount points, I look for disks. to quickly differentiate between devices you can ls /dev/mmc* and mount/df.

That's three commands, whereas just one `lsblk` or `lsblk -f` can tell you everything you need to know to differentiate between disks and partitions in one command. And don't dismiss "I don't look for mount points" like that - you may have not ran into those situations, but when sometimes you have identically partitioned disks of the same exact model how they are mounted (if at all) is nearly the only way to differentiate them sans looking at their serial numbers.

---

Should I have prepped the card in any way or does the script handle that?

I didn't have to do any kind of special prep, I just inserted the microSD card, ran lsblk to identify the device file, and ran ./install-debian with explicit BLKDEV (from the Zen of Python - "explicit is better than implicit"). Try re-running? And make sure the script finishes successfully and doesn't output any errors.