Filesystem     1K-blocks    Used Available Use% Mounted on
udev             3999236       0   3999236   0% /dev
tmpfs             804152    9752    794400   2% /run
/dev/sda3      941352556 6143696 887367836   1% /
tmpfs            4020744     308   4020436   1% /dev/shm
tmpfs               5120       0      5120   0% /run/lock
tmpfs            4020744       0   4020744   0% /sys/fs/cgroup
/dev/sda1         610304   24048    586256   4% /boot/efi
tmpfs             804152      52    804100   1% /run/user/1001