Closed gildor478 closed 3 years ago
This feature request has been migrated from artifact #782 on forge.ocamlcore.org. It was assigned to user102. It was closed on 2012-06-28 23:31:29.
git and darcs automatically call a pager (less, $LESS or $GIT_PAGER) for long text output. That would help making long commands such as "oasis manual" more comfortable.
This feature request has been migrated from artifact #782 on forge.ocamlcore.org. It was assigned to user102. It was closed on 2012-06-28 23:31:29.
user146 posted on 2010-10-22 19:38:45:
git and darcs automatically call a pager (less, $LESS or $GIT_PAGER) for long text output. That would help making long commands such as "oasis manual" more comfortable.