On Fri, Feb 10, 2006 at 04:27:42PM +0200, Pavel Tsekov wrote:
> On Fri, 10 Feb 2006, Arpad Biro wrote:
> 
> > > > /mask   things in the current (/) directory
> > > > mask/ or /mask/   only directories (path has '/' ending) here
> > > > mask    files  (old behaviour)
> > >
> > > To me it is not obvious. When I see `/' I think root directory.
> > > Anyway, this is just me. What worries me most is the fact that
> > > this patch changes the old behaviour. I'd like to hear what other
> > > people think of it.
> >
> > What about using a trailing "//" (double slash) for dir+file?
> 
> It make sense, IMO.
>
foo -> files
foo/ -> dirs
foo// -> files + dirs
dunno if this is meant, but i definitely like it. :)
as opposed to leading slashes, fwiw.

> And we are not going to change the old behaviour.
>
dunno what this relates to, but excessive conservatism is detrimental to
progress. oh, wait, that's a tautology ...

-- 
Hi! I'm a .signature virus! Copy me into your ~/.signature, please!
--
Chaos, panic, and disorder - my work here is done.
_______________________________________________
Mc-devel mailing list
http://mail.gnome.org/mailman/listinfo/mc-devel

Reply via email to