/stdhome

To get this branch, use:
bzr branch http://bzr.ed.am/stdhome

« back to all changes in this revision

Viewing changes to lib/stdhome/command/diff.py

  • Committer: Tim Marston
  • Date: 2021-07-05 19:11:53 UTC
  • Revision ID: tim@ed.am-20210705191153-5jcbb6lxv5i15ypx
fix debian dist-package installation

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/stdhome/command/diff.py
58
58
                        [ "repo=", "verbose", "help" ] )
59
59
                for opt, optarg in opts:
60
60
                        if opt in [ '--repo', '-r' ]:
61
 
                                if not re.match( '^[-a-zA-z0-9.]+$', optarg ):
 
61
                                if not re.search( '^[-a-zA-z0-9.]+$', optarg ):
62
62
                                        raise the.program.FatalError(
63
63
                                                'invalid repository name: ' + optarg )
64
64
                                the.repo = optarg
 
65
                        elif opt in [ '--verbose', '-v' ]:
 
66
                                the.verbose += 1
65
67
                        elif opt == "--help":
66
68
                                self.print_help()
67
69