Filesystem Size Used Avail Use% Mounted on devtmpfs 3.9G 0 3.9G 0% /dev tmpfs 3.9G 14M 3.9G 1% /dev/shm tmpfs 3.9G 1.5M 3.9G 1% /run tmpfs 3.9G 0 3.9G 0% /sys/fs/cgroup /dev/sda2 20G 5.8G 13G 32% / /dev/sda1 252M 5.1M 246M 3% /boot/efi tmpfs 3.9G 8.0K 3.9G 1% /tmp /dev/sda4 86G 136M 86G 1% /home tmpfs 792M 0 792M 0% /run/user/XXX tmpfs 792M 12K 792M 1% /run/user/XXX