On Tue, 12 Jan 2016 13:39:02 -0800
carl hansen <carlhansen1234@gmail.com> 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.

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted