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

Re: Moving /home to its own partition.



On Fri, 8 Aug 2003 09:04:18 +0100
Colin Watson <cjwatson@debian.org> wrote:
> 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.
 
    Wait, whoa, sorry I missed this earlier but why does someone think that rm
-rf dir/* will miss . files?

    Unless those files are in /home.  Why would there be . files in /home? 
Shouldn't /home only contain directories?

-- 
         Steve C. Lamb         | I'm your priest, I'm your shrink, I'm your
       PGP Key: 8B6E99C5       | main connection to the switchboard of souls.
	                       |    -- Lenny Nero - Strange Days
-------------------------------+---------------------------------------------

Attachment: pgpkK1uaUs9na.pgp
Description: PGP signature


Reply to: