diff options
author | Stephen Finucane <stephen@that.guru> | 2018-10-05 20:05:14 +0300 |
---|---|---|
committer | Stephen Finucane <stephen@that.guru> | 2018-12-17 12:46:18 +0300 |
commit | 5a9033e5aa87bb9b58bdd622e7bd2c9361db03cf (patch) | |
tree | 7b1affd8be10c5a999e0e5f7f00ec275f4ece3e5 /utils | |
parent | d345d0f8c17009195f69b581cc1b6dc2da431b0e (diff) |
Specifically request Python 3
If Sphinx is Python 3-only, Sphinx's tooling should be Python 3-only
too.
Signed-off-by: Stephen Finucane <stephen@that.guru>
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/bump_version.py | 2 | ||||
-rw-r--r-- | utils/checks.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/utils/bump_version.py b/utils/bump_version.py index 79a1fe6a7..6491a38e3 100755 --- a/utils/bump_version.py +++ b/utils/bump_version.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 import argparse import os diff --git a/utils/checks.py b/utils/checks.py index 3d421b385..25b6b2fa8 100644 --- a/utils/checks.py +++ b/utils/checks.py @@ -60,7 +60,7 @@ def sphinx_has_header(physical_line, filename, lines, line_number): # line number correction offset = 1 - if lines[0:1] == ['#!/usr/bin/env python\n']: + if lines[0:1] == ['#!/usr/bin/env python3\n']: lines = lines[1:] offset = 2 |