Filesystem     1K-blocks     Used Available Use% Mounted on
udev             1945440        0   1945440   0% /dev
tmpfs             393072     6456    386616   2% /run
/dev/sda9       32550680 11840392  19033744  39% /
tmpfs            1965340    45052   1920288   3% /dev/shm
tmpfs               5120        4      5116   1% /run/lock
tmpfs            1965340        0   1965340   0% /sys/fs/cgroup
/dev/sda1          98304    47197     51107  49% /boot/efi
tmpfs             393068       12    393056   1% /run/user/1000