Matthieu Moy <Matthieu.Moy@xxxxxxx> writes: > Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > >> Personally, I like to read "git --paginate log" better than to read "git >> --pager log". So I would not unnecessarily deprecate --paginate. It's >> not like it hurts or something. > > It doesn't "hurt", but having several options to do the same thing is > useless and confusing (someone reading here about --paginate and there > about --pager may not immediately notice that one is an alias for the > other). > > Anyway, how often do you type or read "git --paginate log"? Since it is the default anyway... Maybe one should have a way to tell git "don't use a pager by default, but _if_ someone says --pager, _then_ use the following pager". If one has to set the pager to "cat" to disable paging, using --pager will not exactly be impressive. So maybe --no-pager/--pager (or an equivalent config file setting) should not tamper with the setting of GIT_PAGER, but rather set/reset an independent flag. -- David Kastrup - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
