Web lists-archives.com

Re: What's the device name of my microSD card?


On Sun, Apr 21, 2019 at 06:02:33PM +0000, Erik Josefsson wrote:
> I have just assembled a [Teres machine] to learn how to set it up from the instructions on http://box.redpill.dk/ mentioned before on this list.
> I run into my ignorance already at instruction 2: "Locate device name of your microSD card".
> It turns out when I use completion with ls /dev/disk/by-id/ that my new USB microSD card reader says that my micro SD card has two names:
>    usb-Generic_STORAGE_DEVICE_000000001532-0:0

It has one name. This one, to be exact.

>    usb-Generic_STORAGE_DEVICE_000000001532-0:0-part1

And this is the first partition of said device.

> This ambiguity becomes problematic when I try instruction 4) "Decompress and copy image onto card" with "Fast method" b):
>    sudo sh -c 'zcat core-lime2-1.0b17.img.gz > /dev/disk/by-id/my-sd-card'

Ugh. Why run zcat as root if you can avoid it:

zcat core-lime2-1.0b17.img.gz | sudo tee \
/dev/disk/by-id/usb-Generic_STORAGE_DEVICE_000000001532-0\:0 > /dev/null