upstream/mercurial-mirror Files · mercurial/fancyopts.py

Report on push/pull if heads are merged, too, like for new heads....

Report on push/pull if heads are merged, too, like for new heads. Use case: If a remote repo has two heads and I _want_ to merge them, I merge and push. Meanwhile someone else pushed on top of one of the heads. He won't get a warning, because he doesn't create a new head, I won't notice that I don't close a head, because I don't get a message telling me.

twaldmann@thinkmo.de - - Load All Authors

File last commit:

r1541:bf4e7ef0 default


                r2424:09203924

default

Download file

             fancyopts.py
        
                    30 lines
            
             | 847 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / mercurial / fancyopts.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      import getopt

      def fancyopts(args, options, state):

          long = []

          short = ''

          map = {}

          dt = {}

          for s, l, d, c in options:

              pl = l.replace('-', '_')

              map['-'+s] = map['--'+l] = pl

              state[pl] = d

              dt[pl] = type(d)

              if not d is None and not callable(d):

                  if s: s += ':'

                  if l: l += '='

              if s: short = short + s

              if l: long.append(l)

          opts, args = getopt.getopt(args, short, long)

          for opt, arg in opts:

              if dt[map[opt]] is type(fancyopts): state[map[opt]](state,map[opt],arg)

              elif dt[map[opt]] is type(1): state[map[opt]] = int(arg)

              elif dt[map[opt]] is type(''): state[map[opt]] = arg

              elif dt[map[opt]] is type([]): state[map[opt]].append(arg)

              elif dt[map[opt]] is type(None): state[map[opt]] = 1

          return args

	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

				import getopt

				def fancyopts(args, options, state):
				long = []
				short = ''
				map = {}
				dt = {}

				for s, l, d, c in options:
				pl = l.replace('-', '_')
				map['-'+s] = map['--'+l] = pl
				state[pl] = d
				dt[pl] = type(d)
				if not d is None and not callable(d):
				if s: s += ':'
				if l: l += '='
				if s: short = short + s
				if l: long.append(l)

				opts, args = getopt.getopt(args, short, long)

				for opt, arg in opts:
				if dt[map[opt]] is type(fancyopts): state[map[opt]](state,map[opt],arg)
				elif dt[map[opt]] is type(1): state[map[opt]] = int(arg)
				elif dt[map[opt]] is type(''): state[map[opt]] = arg
				elif dt[map[opt]] is type([]): state[map[opt]].append(arg)
				elif dt[map[opt]] is type(None): state[map[opt]] = 1

				return args