Reread partition table without rebooting?
IMHO the most reliable/best answer is partprobe /dev/sdX
partition
df says disk is full, but it is not
It’s possible that a process has opened a large file which has since been deleted. You’ll have to kill that process to free up the space. You may be able to identify the process by using lsof. On Linux deleted yet open files are known to lsof and marked as (deleted) in lsof’s output. You … Read more
How to extend an ext4 partition and filesystem?
You must begin with the partition unmounted. If you can’t unmount it (e.g. it’s your root partition or something else the system needs to run), use something like System Rescue CD instead. Run parted, or gparted if you prefer a GUI, and resize the partition to use the extra space. I prefer gparted as it … Read more
How bad is it really to install Linux on one big partition?
The primary (historical) reasons for partitioning are: to separate the operating system from your user and application data. Until the release of RHEL 7 there was no supported upgrade path and a major version upgrade would require a re-install and then having for instance /home and other (application) data on separate partitions (or LVM volumes) … Read more
How do I find the UUID of a filesystem
Another command that might be available and also works quite well for this is ‘blkid’. It’s part of the e2fsprogs package. Examples of it’s usage: Look up data on /dev/sda1: topher@crucible:~$ sudo blkid /dev/sda1 /dev/sda1: UUID=”727cac18-044b-4504-87f1-a5aefa774bda” TYPE=”ext3″ Show UUID data for all partitions: topher@crucible:~$ sudo blkid /dev/sda1: UUID=”727cac18-044b-4504-87f1-a5aefa774bda” TYPE=”ext3″ /dev/sdb: UUID=”467c4aa9-963d-4467-8cd0-d58caaacaff4″ TYPE=”ext3″ Show UUID data … Read more