diff options
author | 0xjmz <0xjmz@users.noreply.github.com> | 2017-08-01 11:04:30 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-01 11:04:30 +0200 |
commit | 1c8bac07910208d10a702f9a8694f642355fc2bd (patch) | |
tree | c2869209055647a91ca65bfb204ad9550e09fea2 /doc/tools | |
parent | fdfefa521c85cb0d18cadd652234b1e164df4704 (diff) | |
parent | 35f47f53a32b29f746c5ddcd4fb367bf2ad7e640 (diff) | |
download | ranger-1c8bac07910208d10a702f9a8694f642355fc2bd.tar.gz |
Merge branch 'master' into fix-question-movement
Diffstat (limited to 'doc/tools')
-rwxr-xr-x | doc/tools/convert_papermode_to_metadata.py | 2 | ||||
-rwxr-xr-x | doc/tools/performance_test.py | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/doc/tools/convert_papermode_to_metadata.py b/doc/tools/convert_papermode_to_metadata.py index e4010a73..57459097 100755 --- a/doc/tools/convert_papermode_to_metadata.py +++ b/doc/tools/convert_papermode_to_metadata.py @@ -1,4 +1,4 @@ -#!/bin/python +#!/usr/bin/env python """ usage: ./convert_papermode_to_metadata.py diff --git a/doc/tools/performance_test.py b/doc/tools/performance_test.py index f9562f0c..3b9099d5 100755 --- a/doc/tools/performance_test.py +++ b/doc/tools/performance_test.py @@ -1,6 +1,7 @@ -#!/usr/bin/python -# pylint: disable=wrong-import-position +#!/usr/bin/env python + from __future__ import (absolute_import, division, print_function) + import sys import time |