Web lists-archives.com

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




On Sun, Apr 21, 2019 at 2:38 PM Patrick Wiseman <pwiseman@xxxxxxxxx> wrote:
On Sun, Apr 21, 2019 at 2:30 PM Erik Josefsson <erik.hjalmar.josefsson@xxxxxxxxx> wrote:
On 4/21/19 6:14 PM, Patrick Wiseman wrote:
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!)

On 4/21/19 6:17 PM, Paul Sutton wrote:
if you run lsblk it will list devices connected to the system

Here's the output of both commands, not sure I can figure out which one(s) is(are) my usb-Generic_STORAGE_DEVICE (i.e. a microSD put into a USB-thingie):

debian@hamlet:~$ df
Filesystem     1K-blocks     Used Available Use% Mounted on
udev              961108        0    961108   0% /dev
tmpfs             201708     3260    198448   2% /run
/dev/mmcblk0p2  61214500 11372112  47335168  20% /
tmpfs            1008520    50808    957712   6% /dev/shm
tmpfs               5120        0      5120   0% /run/lock
tmpfs            1008520        0   1008520   0% /sys/fs/cgroup
tmpfs            1008520        8   1008512   1% /tmp
tmpfs            1008520        0   1008520   0% /var/tmp
/dev/mmcblk0p1    202277    48430    143403  26% /boot
tmpfs             201704       24    201680   1% /run/user/1000

Its absence from this list suggests to me that it's not mounted. You have a root (/) device and a /boot device mounted, but no others.

I think, by the way, that you'll _want_ it unmounted when you copy the image.

Patrick