Re: moving /gnu to different disk

2016-01-15 Thread Mark H Weaver
Efraim Flashner writes: > On Tue, 12 Jan 2016 13:39:02 -0800 > carl hansen 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 --

Re: moving /gnu to different disk

2016-01-13 Thread Christopher Allan Webber
carl hansen writes: > 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 supe

Re: moving /gnu to different disk

2016-01-13 Thread Efraim Flashner
On Tue, 12 Jan 2016 13:39:02 -0800 carl hansen 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 /g

Re: moving /gnu to different disk

2016-01-13 Thread Ludovic Courtès
Leo Famulari skribis: > On Tue, Jan 12, 2016 at 01:39:02PM -0800, carl hansen 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 --

Re: moving /gnu to different disk

2016-01-12 Thread carl hansen
On Tue, Jan 12, 2016 at 2:29 PM, Andreas Enge wrote: > On Tue, Jan 12, 2016 at 01:39:02PM -0800, carl hansen wrote: > > I forsee problems when copying /gnu, not reproducing hard links > > but reproducing the data. > > You can use rsync with the option "-H" to preserve hard links. > > I think your

Re: moving /gnu to different disk

2016-01-12 Thread Leo Famulari
On Tue, Jan 12, 2016 at 01:39:02PM -0800, carl hansen 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/g

Re: moving /gnu to different disk

2016-01-12 Thread Andreas Enge
On Tue, Jan 12, 2016 at 01:39:02PM -0800, carl hansen wrote: > I forsee problems when copying /gnu, not reproducing hard links > but reproducing the data. You can use rsync with the option "-H" to preserve hard links. I think your proposed solution with bind mounts will work, but I let the specia

moving /gnu to different disk

2016-01-12 Thread carl hansen
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 /directoryondif