Filesystem Type Size Used Avail Use% Mounted on udev devtmpfs 3.8G 0 3.8G 0% /dev tmpfs tmpfs 774M 1.7M 772M 1% /run /dev/sda5 ext4 38G 11G 26G 29% / tmpfs tmpfs 3.8G 42M 3.8G 2% /dev/shm tmpfs tmpfs 5.0M 4.0K 5.0M 1% /run/lock tmpfs tmpfs 3.8G 0 3.8G 0% /sys/fs/cgroup /dev/sda1 vfat 96M 33M 64M 35% /boot/efi tmpfs tmpfs 774M 16K 774M 1% /run/user/XXXX