tools: Remove `.py` extensions from user scripts.

2017-10-09 12:00:05 +02:00 · 2017-10-09 12:00:05 +02:00 · 61aebd036f
parent df948c7ea5
commit 61aebd036f
6 changed files with 3 additions and 3 deletions
--- a/tools/send_github_payloads.py
+++ b/tools/send_github_payloads.py
--- a/tools/show-profile-results.py
+++ b/tools/show-profile-results.py
--- a/tools/test-all
+++ b/tools/test-all
@ -44,7 +44,7 @@ run ./tools/test-migrations
 # run ./tools/optimize-svg
 # Not running documentation tests since it takes 20s and only tests documentation
 # run ./tools/test-documentation
-run ./tools/test-help-documentation.py $FORCEARG
+run ./tools/test-help-documentation $FORCEARG
 run ./tools/test-api
 # Not running run-dev tests locally; we never have
 # run ./tools/test-run-dev
--- a/tools/test-help-documentation.py
+++ b/tools/test-help-documentation.py
--- a/tools/travis/backend
+++ b/tools/travis/backend
@ -18,7 +18,7 @@ set -x
 ./tools/test-migrations
 ./tools/optimize-svg
 ./tools/test-documentation
-./tools/test-help-documentation.py
+./tools/test-help-documentation
 ./tools/test-api
 #./tools/test-run-dev  # Disabled in CI because flaky.
 #./tools/test-queue-worker-reload  # Disabled in CI because flaky.
--- a/zerver/lib/profile.py
+++ b/zerver/lib/profile.py
@ -21,7 +21,7 @@ def profiled(func):

    Then view the results like this:

-        ./tools/show-profile-results.py test_ratelimit_decrease.profile
+        ./tools/show-profile-results test_ratelimit_decrease.profile

    """
    @wraps(func)