An unofficial Debian Installer for Pinebook Pro

[NigelT]

We could perhaps point the default at /dev/disk/by-path/platform-fe320000.dwmmc instead (and add some code to follow the softlink). What name does the uSD card appear at under /dev/disk/by-path when running with the default Debian 9 kernel?

---

Default OS / Kernel

Code:

$ uname -a
Linux Debian-Desktop 4.4.207 #2 SMP Sat Dec 21 22:42:47 EST 2019 aarch64 GNU/Linux

Empty microSD cart slot

Code:

$ ls -l /dev/disk/by-path/platform-fe320000.dwmmc
ls: cannot access '/dev/disk/by-path/platform-fe320000.dwmmc': No such file or directory

After inserting an microSD card

Code:

$ ls -l /dev/disk/by-path/platform-fe320000.dwmmc
lrwxrwxrwx 1 root root 13 Jan 17 12:52 /dev/disk/by-path/platform-fe320000.dwmmc -> ../../mmcblk0

$ readlink -f /dev/disk/by-path/platform-fe320000.dwmmc
/dev/mmcblk0