Filesystem Type Size Used Avail Use% Mounted on /dev/sda4 ext4 36G 9.7G 24G 29% / devtmpfs devtmpfs 4.0M 0 4.0M 0% /dev tmpfs tmpfs 3.9G 0 3.9G 0% /dev/shm tmpfs tmpfs 1.6G 4.9M 1.6G 1% /run tmpfs tmpfs 3.9G 452K 3.9G 1% /tmp tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-network-generator.service tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-journald.service tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-udev-load-credentials.service tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-tmpfiles-setup-dev-early.service tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-sysctl.service tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-tmpfiles-setup-dev.service tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-vconsole-setup.service /dev/sda1 vfat 197M 32M 166M 16% /boot/efi /dev/sda3 ext4 30G 252M 28G 1% /home tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-tmpfiles-setup.service tmpfs tmpfs 1.0M 0 1.0M 0% /run/credentials/systemd-resolved.service tmpfs tmpfs 784M 128K 784M 1% /run/user/XXX