List Info

Thread: Re: query manifest --directories default




Re: query manifest --directories default
user name
2007-07-21 12:09:25
Hi,

> It makes more sense to me as:
> 
>   darcs list files     # list of files (no
directories)
>   darcs list manifest  # list of files and directories
> 
> I think of manifest as "everything".  And
files in my mind automatically
> excludes directories.

Well, I thought we had come to an agreement that manifest
has a certain
meaning that people have come to expect, which is how this
whole
discussion got started in the first place.
 
On the other hand, I do somewhat agree that when I see
'files' I expect
just that, no directories.  Even still, I'm sticking with
what we've got
until somebody comes up with an even better solution to
trump everything
else we've come up with!

-- 
Eric Kow                     http://www.loria.fr/~kow

PGP Key ID: 08AC04F9         Merci de corriger mon
français.

_______________________________________________
darcs-users mailing list
darcs-usersdarcs.net

http://lists.osuosl.org/mailman/listinfo/darcs-users

Re: query manifest --directories default
user name
2007-07-21 14:15:35
Yes, manifest is probably best the way it is, but 'list
files'
sound like it's made for confusion.

Just brainstorming:

  list tree
  list filetree
  list adds	(can be confused with added but not recorded)
  list added	 -"-
  list managed

Hm, I still like 'list files' better.


-- 
Tommy Pettersson <ptplysator.liu.se>
_______________________________________________
darcs-users mailing list
darcs-usersdarcs.net

http://lists.osuosl.org/mailman/listinfo/darcs-users

[1-2]

about | contact  Other archives ( Real Estate discussion Medical topics )