Trent W. Buck wrote: > Dan Pascu <[EMAIL PROTECTED]> writes: > >> I'm not against such a feature. I'm against the fact that is enabled >> by default, in such a way that it's next to impossible to disabled it >> without affecting some other part of darcs or the other applications. >> >> A --pager option to the help command would solve this nicely. It >> should default to off, so the old behavior is possible. At the same >> time anyone who wants a pager by default can add to ~/.darcs/defaults >> a line like >> >> help pager >> > > Rather I think it should be --paged or --not-paged. To me, --pager > implies that it takes an argument -- which pager to use. > > There's already darcs changes --interactive, which changes darcs changes > to listen to the user rather than just dumping everything to stdout. > Perhaps this feature should also be called --interactive? > >
Any of your proposals are better than mine, though --interactive suggests that the user will provide some input, which he is not, except if we consider that him pressing the up/down keys to navigate the output is input. -- Dan _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
