On Fri, 10 Feb 2006, Oswald Buddenhagen wrote:

> 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

Try F9 -> Right -> Filter and enter /* . It's the same as */.

> progress. oh, wait, that's a tautology ...

Yeah, yeah... :) Not that I use it but then someone might show up
complaining that he/she is missing her favourite feature. If there
is a less intrusive way to achieve the same thing I prefer to go
that way.

_______________________________________________
Mc-devel mailing list
http://mail.gnome.org/mailman/listinfo/mc-devel

Reply via email to