Filesystem     1K-blocks     Used Available Use% Mounted on
udev             3950784        0   3950784   0% /dev
tmpfs             799444     1896    797548   1% /run
/dev/sda4       42993008 10016816  30762560  25% /
tmpfs            3997208        0   3997208   0% /dev/shm
tmpfs               5120        4      5116   1% /run/lock
tmpfs            3997208        0   3997208   0% /sys/fs/cgroup
/dev/sda3         189440   121520     58144  68% /boot
/dev/sda1         191551    10916    180635   6% /boot/efi
tmpfs             799440       64    799376   1% /run/user/1000