On Sun, Apr 21, 2019 at 2:30 PM Erik Josefsson < erik.hjalmar.josefs...@gmail.com> 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. Patrick
