Filesystem Type Size Used Avail Use% Mounted on udev devtmpfs 3.8G 0 3.8G 0% /dev tmpfs tmpfs 778M 11M 767M 2% /run /dev/sda2 ext4 85G 9.4G 71G 12% / tmpfs tmpfs 3.8G 0 3.8G 0% /dev/shm tmpfs tmpfs 5.0M 0 5.0M 0% /run/lock tmpfs tmpfs 3.8G 4.0K 3.8G 1% /tmp /dev/sda1 vfat 256M 37M 220M 15% /boot/efi tmpfs tmpfs 778M 76K 778M 1% /run/user/XXXX