Filesystem Type Size Used Avail Use% Mounted on udev devtmpfs 3.8G 0 3.8G 0% /dev tmpfs tmpfs 782M 1.7M 781M 1% /run /dev/sda2 ext4 74G 39G 31G 56% / tmpfs tmpfs 3.9G 0 3.9G 0% /dev/shm tmpfs tmpfs 5.0M 4.0K 5.0M 1% /run/lock tmpfs tmpfs 3.9G 0 3.9G 0% /sys/fs/cgroup /dev/sda1 vfat 507M 6.1M 501M 2% /boot/efi tmpfs tmpfs 782M 60K 782M 1% /run/user/XXXX