Some mixed patches. I've split the one regarding the pager in two:
- patch 99be3ad02140e22e3c0e8b5f7de6e3d226b5bcaf
I think this is how it should work, but that means there's no way for
preserving the current behaviour.
- patch 9d723bedd600912a04c2480e066d553f352775e9
If, for some reason I could not think of, preserving the current behaviour is
mandatory, only apply this patch and not the previous one. Users setting
DARCS_FORCE_PAGER=20 should not note any difference.
I have not tested that System.Console.Terminal.Size works on any supported
platform.
5 patches for repository http://darcs.net/screened:
patch aea7e3314c91b7cf143594d5451095abd5214210
Author: Gian Piero Carrubba <gpiero@rm-rf.it>
Date: Sun Sep 14 23:51:24 CEST 2025
* fix a typo in help environment's output
patch 9d723bedd600912a04c2480e066d553f352775e9
Author: Gian Piero Carrubba <gpiero@rm-rf.it>
Date: Tue Sep 16 17:07:53 CEST 2025
* invoke the pager based on terminal size rather than a fixed threshold
Also introduce the DARCS_FORCE_PAGER environment variable so that the user can
set a fixed threshold if desired.
patch e0e0614ba0f437b0cca1cacd8ea56777ba58fd58
Author: Gian Piero Carrubba <gpiero@rm-rf.it>
Date: Tue Sep 16 20:59:48 CEST 2025
* show the super command (if any) in the "disabled" message
Also enclose the command name in single quotes.
patch 99be3ad02140e22e3c0e8b5f7de6e3d226b5bcaf
Author: Gian Piero Carrubba <gpiero@rm-rf.it>
Date: Tue Sep 16 17:09:46 CEST 2025
* invoke the pager based on terminal size rather than a fixed threshold
Remove the DARCS_FORCE_PAGER environment variable and introduce instead the
DARCS_PAGER_ALLOWANCE one, so that the user can fine tune the use of pager
depending on their own environment (e.g., a multi-line prompt).
patch f0bc660a3766938de7fe1a914baec5bd84217475
Author: Gian Piero Carrubba <gpiero@rm-rf.it>
Date: Sun Sep 21 14:31:09 CEST 2025
* set DARCS_HOOK and DARCS_CMD environment vars for use by hook scripts
Attachments
|
