On 3/23/07, Randal L. Schwartz <merlyn@xxxxxxxxxxxxxx> wrote:
>>>>> "Francis" == Francis Moreau <francis.moro@xxxxxxxxx> writes: Francis> $ PAGE=cat git diff HEAD^ PAGE? or PAGER?
PAGER But I actually know it doesn't print anything, because I put 'HEAD' instead of 'HEAD^', sorry for the wrong alert. Can't git make 'cat' the default pager when run on a dumb terminal ? thanks -- Francis - 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