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 [email@example.com]