Anyway, if you don't like it, no offense taken. I will use my version, and rebase it if I ever need a newer version. I just found it so useful that I cannot imagine not having the automatic pager. Perhaps someone else will find this page useful too, so I upload the whole script here.
** Attachment added: "colordiff with automatic pager and color=auto defaults to color only for output to TTY (no pipes,no files)" https://bugs.launchpad.net/ubuntu/+source/colordiff/+bug/1161826/+attachment/3606318/+files/colordiff -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1161826 Title: smarter handling of redirections and add --color option to override auto settings To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/colordiff/+bug/1161826/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
