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

Sorry - relied to OP not to list.

---------- Forwarded message ---------
From: Patrick Wiseman <pwiseman@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.josefsson@gmail.com>

On Sun, Apr 21, 2019 at 2:03 PM Erik Josefsson <erik.hjalmar.josefsson@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