Filesystem     1K-blocks     Used Available Use% Mounted on
udev             4049040        0   4049040   0% /dev
tmpfs             816596     1396    815200   1% /run
/dev/sda4       83881192 22701024  56876144  29% /
tmpfs            4082968     3496   4079472   1% /dev/shm
tmpfs               5120        4      5116   1% /run/lock
tmpfs            4082968        0   4082968   0% /sys/fs/cgroup
tmpfs            1048576    10852   1037724   2% /tmp
/dev/sdb1      488382464 87758336 400624128  18% /home/mainte/DATA0
/dev/sda3         966916   160856    739728  18% /boot
tmpfs             816592       32    816560   1% /run/user/1000
/dev/sdc2        8846896    72304   8774592   1% /media/mainte/INST_DTA
/dev/sdc1        6279168  2162072   4117096  35% /media/mainte/INST_USB16G
/dev/loop0         89088    89088         0 100% /snap/core/4917
/dev/loop2         35584    35584         0 100% /snap/gtk-common-themes/319
/dev/loop3        144384   144384         0 100% /snap/gnome-3-26-1604/70