Mercurial > hg
view hgext/pager.py @ 8610:8ef1f63e554c
inotify: server: use a common 'pollable' interface for server & repowatcher
Mainly for documentation purposes: it easily explains the role of handle_event
and handle_timeout, and why both server & repowatcher implement those methods.
author | Nicolas Dumazet <nicdumz.commits@gmail.com> |
---|---|
date | Thu, 21 May 2009 17:09:12 +0900 |
parents | 46293a0c7e9f |
children | 868670dbc237 |
line wrap: on
line source
# pager.py - display output using a pager # # Copyright 2008 David Soria Parra <dsp@php.net> # # This software may be used and distributed according to the terms of the # GNU General Public License version 2, incorporated herein by reference. # # To load the extension, add it to your .hgrc file: # # [extension] # hgext.pager = # # Run "hg help pager" to get info on configuration. '''browse command output with external pager To set the pager that should be used, set the application variable: [pager] pager = LESS='FSRX' less If no pager is set, the pager extensions uses the environment variable $PAGER. If neither pager.pager, nor $PAGER is set, no pager is used. If you notice "BROKEN PIPE" error messages, you can disable them by setting: [pager] quiet = True You can disable the pager for certain commands by adding them to the pager.ignore list: [pager] ignore = version, help, update You can also enable the pager only for certain commands using pager.attend: [pager] attend = log If pager.attend is present, pager.ignore will be ignored. To ignore global commands like "hg version" or "hg help", you have to specify them in the global .hgrc ''' import sys, os, signal from mercurial import dispatch, util, extensions def uisetup(ui): def pagecmd(orig, ui, options, cmd, cmdfunc): p = ui.config("pager", "pager", os.environ.get("PAGER")) if p and sys.stdout.isatty() and '--debugger' not in sys.argv: attend = ui.configlist('pager', 'attend') if (cmd in attend or (cmd not in ui.configlist('pager', 'ignore') and not attend)): sys.stderr = sys.stdout = util.popen(p, "wb") if ui.configbool('pager', 'quiet'): signal.signal(signal.SIGPIPE, signal.SIG_DFL) return orig(ui, options, cmd, cmdfunc) extensions.wrapfunction(dispatch, '_runcommand', pagecmd)