Filesystem Type Size Used Avail Use% Mounted on udev devtmpfs 3.9G 0 3.9G 0% /dev tmpfs tmpfs 794M 2.7M 792M 1% /run /dev/sda4 ext4 80G 12G 64G 16% / tmpfs tmpfs 5.0M 16K 5.0M 1% /run/lock tmpfs tmpfs 1.6G 200K 1.6G 1% /dev/shm /dev/sda1 vfat 197M 47M 151M 24% /boot/efi cgroup tmpfs 12K 0 12K 0% /sys/fs/cgroup tmpfs tmpfs 794M 4.0K 794M 1% /run/user/XXX tmpfs tmpfs 794M 12K 794M 1% /run/user/XXXX