Resizing a partition

[JohnD]

I've fixed the problem of the home partition running out of space without resizing the partition.

1. I checked with dd, which directories in /home are taking the most space. The result: It'was not home in general, but "/home/johnd/Downloads".
   
2. I moved the two biggest directories from the directory "/home/johnd/Downloads" to my central Partition for user accounts from different Linux installations. This partition has about 300 GB, with 166 GB free.
   
3. I renamed the local directory Downloads to "Downloads_local".
   
4. I created a symbolic link in the local home dir to the dir Downloads in the central home partition.

The resulting free space

Code:

johnd@central-desktop:~$ sudo du -hs /home; LANGUAGE=en df -h /home
616M    /home
Filesystem      Size  Used Avail Use% Mounted on
/dev/sda20      1.9G  619M  1.2G  35% /home

With this structure

Code:

johnd@central-desktop:~$ ls -la /home/johnd | grep "^l"
lrwxrwxrwx  1   36 Apr 16 02:53 Documents -> /media/central_home/besto/Dokumente/
lrwxrwxrwx  1   35 Apr 17 16:03 Dokumente -> /media/central_home/besto/Dokumente
lrwxrwxrwx  1   36 Apr 30 02:21 Downloads -> /media/central_home/besto/Downloads/
lrwxrwxrwx  1   32 Apr 16 23:43 Pictures -> /media/central_home/besto/Bilder
lrwxrwxrwx  1   32 Apr 21 22:06 Videos -> /media/central_home/besto/Videos