On Tue, 12 Jan 2016 13:39:02 -0800 carl hansen <carlhansen1...@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 <efr...@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
pgpt8kMNrpmp5.pgp
Description: OpenPGP digital signature
