Where Online Learning is simpler!

The output of your command "$ df -F tmpfs" is:

Filesystem     1K-blocks  Used Available Use% Mounted on
tmpfs            3131408  1636   3129772   1% /run
tmpfs            7828520 21472   7807048   1% /tmp
tmpfs               4096     0      4096   0% /dev
tmpfs            7828520     8   7828512   1% /dev/shm
tmpfs            1565704    92   1565612   1% /run/user/1000
tmpfs            1565704    48   1565656   1% /run/user/0