Moving $HOME to a separate data partition?

[Colin Law]

On Fri, 15 Oct 2021, 09:03 Bo Berglund, <bo.berglund at gmail.com> wrote:

> On Thu, 14 Oct 2021 16:48:39 +0200, Bo Berglund <bo.berglund at gmail.com>
> wrote:
>
> >But it totally failed!
> >
> >The target drive had free space of 258 GiB and the size of $HOME was 178
> GiB so
> >it should fit (I have today pruned it down further to 153 GiB).
> >
> >Yet when I inspected the result of the overnight rsync it had filled the
> target
> >drive to 100%!
>
> I am done now, home is moved over to sda3 and it is working Ok.
> It seems like a forgotten mount of another disk partition into ~/test was
> what
> screwed up rsync.
>
> I still have the original /home as /home_backup.
>
> But I will free space by removing /home_backup



If you remove it then it may reorder the partition numbers which can mess
up mounts if you have used sda1/2 rather than uuids. If you don't want that
then you can delete the contents and shrink it down to 10 MB or similar

and then shrinking the system
> partition sda1 to be able to further expand the home partition sda3 using
> GParted.
>
> But for now I will take a break...
>
>
> --
> Bo Berglund
> Developer in Sweden
>
>
> --
> ubuntu-users mailing list
> ubuntu-users at lists.ubuntu.com
> Modify settings or unsubscribe at:
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-users/attachments/20211015/859255f2/attachment.html>