Re: moving /gnu to different disk

[Mark H Weaver]

Efraim Flashner <address@hidden> writes:

> On Tue, 12 Jan 2016 13:39:02 -0800
> carl hansen <address@hidden> wrote:
>
>> Rather than trying the following, I thought, "Why not ask first?"
>> 
>> Due to the sizes of various hard disks in my machine, I want to move /gnu
>> to /directoryondifferentdisk/gnu
>> and then do
>> mount --bind /directoryondifferentdisk/gnu /gnu
>> 
>> (I have already formed a superstition that
>> ln -s /directoryondifferentdisk/gnu /gnu
>> won't work)
>> 
>> I see a vast collection of hard links in /gnu/store/.links...
>> 
>> I forsee problems when copying /gnu, not reproducing hard links
>> but reproducing the data.
>> 
>> Are my fears founded? How to proceed?
>> Or better to start over with new installation of gnux and /gnu?
>
> When I moved mine from / to a new partition I did `cp -a` and it all worked 
> well.

Yes, and 'cp' is many times faster than rsync.  On one non-trivial test,
I found that it was around 8 times faster.

      Mark