Filesystem     1K-blocks    Used Available Use% Mounted on
udev             1935972       0   1935972   0% /dev
tmpfs             391272    6436    384836   2% /run
/dev/sda3      949710948 7648540 893796784   1% /
tmpfs            1956352   14272   1942080   1% /dev/shm
tmpfs               5120       4      5116   1% /run/lock
tmpfs            1956352       0   1956352   0% /sys/fs/cgroup
/dev/sda1         507904   23968    483936   5% /boot/efi
tmpfs             391272      56    391216   1% /run/user/1001