Filesystem Type Size Used Available Use% Mounted on devtmpfs devtmpfs 10.0M 0 10.0M 0% /dev shm tmpfs 1003.9M 0 1003.9M 0% /dev/shm /dev/sda3 ext4 141.5G 1.1G 133.2G 1% / tmpfs tmpfs 401.6M 476.0K 401.1M 0% /run /dev/sda1 ext4 271.1M 57.4M 194.8M 23% /boot tmpfs tmpfs 1003.9M 0 1003.9M 0% /tmp