[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Moving /home to its own partition.

On Thu, Aug 07, 2003 at 07:53:23PM -0700, Paul Johnson wrote:
> On Mon, Aug 04, 2003 at 04:35:48PM +0100, Pigeon wrote:
> > Note that:
> >   rm -rf /home/* won't get rid of those pesky dot files
> >   rm -rf /home/.* gets rid of a little bit too much...
> Doh!  Yeah, you're right.  Forgot that many tools ignore hidden files
> with no option to *not* ignore hidden files.

The option's certainly there, at least if bash is your shell. 'shopt -s
dotglob' (which won't cause * to include . and ..); 'shopt -u dotglob'
turns it back off.


Colin Watson                                  [cjwatson@flatline.org.uk]

Reply to: