shrink /home

[Marcelo Chiapparini <chiappa@uerj.br>]

Hi,

I need to shrink my /home partition (/home has its own partition in the
system). It is formatted in xfs, so shrink is not supported. In order to
shrink it I am planning to use gparted in the following way:

1 - To do a backup of all files in the /home directory, including the
hidden ones.

2 - Unmount the partition

2 - Erase the partition

3 - Create a new partition with the desired smaller size and filesystem

4 - Mount it as /home

5 - Restore all files from the backup

Are steps 1-5 the correct ones?

Thanks in advance

Marcelo

-- 
Marcelo Chiapparini
DFT-IF/UERJ
chiappa@uerj.br