Sorry - relied to OP not to list. ---------- Forwarded message --------- From: Patrick Wiseman <pwise...@gmail.com> Date: Sun, Apr 21, 2019 at 2:13 PM Subject: Re: What's the device name of my microSD card? To: Erik Josefsson <erik.hjalmar.josefs...@gmail.com>
On Sun, Apr 21, 2019 at 2:03 PM Erik Josefsson < erik.hjalmar.josefs...@gmail.com> 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 > usb-Generic_STORAGE_DEVICE_000000001532-0:0-part1 > > 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' > > I guess that the placeholder "my-sd-card" is neither of the two names > above. > > Basically: How do I find out the device name of my microSD card? > > >From the command line, 'df' returns free disk space and lists all mounted devices by device name. (One of probably many ways to do it!) Patrick
