diff options
| author | 2020-06-06 19:04:21 +0200 | |
|---|---|---|
| committer | 2020-06-06 19:04:21 +0200 | |
| commit | 1694264e2ca454a0cc51064ed09a6ed1a759cb01 (patch) | |
| tree | 89596430ae84add63da7f90eb70a87486e324250 /cli/do-install.php | |
| parent | dc68783fc844323682ad19c8156417a1ec7ac998 (diff) | |
Modify shebang to be more portable (#3038)
The new shebang is a portable way to find the php interpreter. It works
on Mac, GNU/Linux and BSD.
Diffstat (limited to 'cli/do-install.php')
| -rwxr-xr-x | cli/do-install.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/do-install.php b/cli/do-install.php index 177e98c21..71b01a4cc 100755 --- a/cli/do-install.php +++ b/cli/do-install.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php require(__DIR__ . '/_cli.php'); |
