diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2018-08-29 20:50:08 +0200 |
|---|---|---|
| committer | Peter Kokot <peterkokot@gmail.com> | 2018-08-29 20:58:17 +0200 |
| commit | 02294f0c84740a2c3fd2d13a4a66544717d778bb (patch) | |
| tree | 3c3fafbc67cbb47bd4232958ceb83872243c49c2 /scripts/dev | |
| parent | c1f7aae19cb4096b94663714bf94dce437de23aa (diff) | |
| download | php-git-02294f0c84740a2c3fd2d13a4a66544717d778bb.tar.gz | |
Make PHP development tools files and scripts executable
This patch makes several scripts and PHP development tools files
executable and adds more proper shebangs to the PHP scripts.
The `#!/usr/bin/env php` shebang provides running the script via
`./script.php` and uses env to find PHP script location on the system.
At the same time it still provides running the script with a user
defined PHP location using `php script.php`.
Diffstat (limited to 'scripts/dev')
| -rwxr-xr-x[-rw-r--r--] | scripts/dev/check_parameters.php | 1 | ||||
| -rwxr-xr-x[-rw-r--r--] | scripts/dev/find_tested.php | 1 | ||||
| -rwxr-xr-x | scripts/dev/search_underscores.php | 2 |
3 files changed, 3 insertions, 1 deletions
diff --git a/scripts/dev/check_parameters.php b/scripts/dev/check_parameters.php index a9c58f8c00..bab7ed9a3f 100644..100755 --- a/scripts/dev/check_parameters.php +++ b/scripts/dev/check_parameters.php @@ -1,3 +1,4 @@ +#!/usr/bin/env php <?php /* +----------------------------------------------------------------------+ diff --git a/scripts/dev/find_tested.php b/scripts/dev/find_tested.php index 4e1e2a3bb4..33d53d8163 100644..100755 --- a/scripts/dev/find_tested.php +++ b/scripts/dev/find_tested.php @@ -1,3 +1,4 @@ +#!/usr/bin/env php <?php diff --git a/scripts/dev/search_underscores.php b/scripts/dev/search_underscores.php index 23db7dd7b3..cac1a5d9db 100755 --- a/scripts/dev/search_underscores.php +++ b/scripts/dev/search_underscores.php @@ -1,4 +1,4 @@ -#! /usr/local/bin/php -n +#!/usr/bin/env php <?php /* |