upstream/mercurial-mirror Files · hgext/pager.py

Pager extension: switch it off if --debugger is set...

Pager extension: switch it off if --debugger is set The pager is preventing the debugger prompt and much of the debugger output to be refreshed. Moreover the pager does not make sense when debugging line by line (Thanks to Gilles Moris).

David Soria Parra <dsp <at> php.net> - - Load All Authors

File last commit:

r6455:fb76d58f default


                r6455:fb76d58f

default

Download file

             pager.py
        
                    35 lines
            
             | 1012 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / hgext / pager.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      # 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, incorporated herein by reference.

      #

      # To load the extension, add it to your .hgrc file:

      #

      #   [extension]

      #   hgext.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

      import sys, os, signal

      def uisetup(ui):

          p = ui.config("pager", "pager", os.environ.get("PAGER"))

          if p and sys.stdout.isatty() and not ui.debugflag:

              if ui.configbool('pager', 'quiet'):

                  signal.signal(signal.SIGPIPE, signal.SIG_DFL)

              sys.stderr = sys.stdout = os.popen(p, "wb")

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				# 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, incorporated herein by reference.
				#
				# To load the extension, add it to your .hgrc file:
				#
				# [extension]
				# hgext.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

				import sys, os, signal

				def uisetup(ui):
				p = ui.config("pager", "pager", os.environ.get("PAGER"))
				if p and sys.stdout.isatty() and not ui.debugflag:
				if ui.configbool('pager', 'quiet'):
				signal.signal(signal.SIGPIPE, signal.SIG_DFL)
				sys.stderr = sys.stdout = os.popen(p, "wb")