diff options
Diffstat (limited to 'Documentation')
| -rwxr-xr-x | Documentation/gen_commands.py | 2 | ||||
| -rw-r--r-- | Documentation/user/usb.rst | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/gen_commands.py b/Documentation/gen_commands.py index 203a39bb11..a55b1acd82 100755 --- a/Documentation/gen_commands.py +++ b/Documentation/gen_commands.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python from __future__ import print_function diff --git a/Documentation/user/usb.rst b/Documentation/user/usb.rst index 029e463540..4c1b2925f2 100644 --- a/Documentation/user/usb.rst +++ b/Documentation/user/usb.rst @@ -172,7 +172,7 @@ and initrd: .. code-block:: sh - #!/bin/bash + #!/usr/bin/env bash set -e set -v |