hgext/pager.py
changeset 9212 dfc1d5da98f0
parent 9069 1abf3fdc5db4
child 9267 bd9e5d200186
equal deleted inserted replaced
9211:9f64878a6e8a 9212:dfc1d5da98f0
    12 #
    12 #
    13 # Run "hg help pager" to get info on configuration.
    13 # Run "hg help pager" to get info on configuration.
    14 
    14 
    15 '''browse command output with an external pager
    15 '''browse command output with an external pager
    16 
    16 
    17 To set the pager that should be used, set the application variable:
    17 To set the pager that should be used, set the application variable::
    18 
    18 
    19   [pager]
    19   [pager]
    20   pager = LESS='FSRX' less
    20   pager = LESS='FSRX' less
    21 
    21 
    22 If no pager is set, the pager extensions uses the environment variable $PAGER.
    22 If no pager is set, the pager extensions uses the environment variable $PAGER.
    23 If neither pager.pager, nor $PAGER is set, no pager is used.
    23 If neither pager.pager, nor $PAGER is set, no pager is used.
    24 
    24 
    25 If you notice "BROKEN PIPE" error messages, you can disable them by setting:
    25 If you notice "BROKEN PIPE" error messages, you can disable them by setting::
    26 
    26 
    27   [pager]
    27   [pager]
    28   quiet = True
    28   quiet = True
    29 
    29 
    30 You can disable the pager for certain commands by adding them to the
    30 You can disable the pager for certain commands by adding them to the
    31 pager.ignore list:
    31 pager.ignore list::
    32 
    32 
    33   [pager]
    33   [pager]
    34   ignore = version, help, update
    34   ignore = version, help, update
    35 
    35 
    36 You can also enable the pager only for certain commands using pager.attend:
    36 You can also enable the pager only for certain commands using pager.attend::
    37 
    37 
    38   [pager]
    38   [pager]
    39   attend = log
    39   attend = log
    40 
    40 
    41 If pager.attend is present, pager.ignore will be ignored.
    41 If pager.attend is present, pager.ignore will be ignored.