diff options
author | Andreas Gohr <andi@splitbrain.org> | 2020-06-30 09:13:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-30 09:13:12 +0200 |
commit | 95ca65a41a881c3a37fd692ec2c11eaa5dd54998 (patch) | |
tree | cf959877b989e0b1c7f98121dbd18bc547375536 | |
parent | 8e51f8a889365e9caf375532493e68e4f3d35140 (diff) | |
parent | cbfa4829d9bcd40d1cc3b9220fe78fa37c385c02 (diff) | |
download | dokuwiki-95ca65a41a881c3a37fd692ec2c11eaa5dd54998.tar.gz dokuwiki-95ca65a41a881c3a37fd692ec2c11eaa5dd54998.zip |
Merge pull request #3172 from splitbrain/cli-shebang
Use envvars in shebang of executables
-rwxr-xr-x | _test/fetchphpunit.php | 2 | ||||
-rwxr-xr-x | bin/dwpage.php | 2 | ||||
-rwxr-xr-x | bin/gittool.php | 2 | ||||
-rwxr-xr-x | bin/indexer.php | 2 | ||||
-rwxr-xr-x | bin/plugin.php | 2 | ||||
-rwxr-xr-x | bin/render.php | 2 | ||||
-rwxr-xr-x | bin/striplangs.php | 2 | ||||
-rwxr-xr-x | bin/wantedpages.php | 2 | ||||
-rwxr-xr-x | lib/scripts/jquery/update.sh | 2 |
9 files changed, 9 insertions, 9 deletions
diff --git a/_test/fetchphpunit.php b/_test/fetchphpunit.php index ceea6652d..293bcf768 100755 --- a/_test/fetchphpunit.php +++ b/_test/fetchphpunit.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php /** * Simple command line script to fetch the correct PHPUnit release diff --git a/bin/dwpage.php b/bin/dwpage.php index 967183434..dee8039eb 100755 --- a/bin/dwpage.php +++ b/bin/dwpage.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php use splitbrain\phpcli\CLI; diff --git a/bin/gittool.php b/bin/gittool.php index 990281bf6..5ebd0c584 100755 --- a/bin/gittool.php +++ b/bin/gittool.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php use splitbrain\phpcli\CLI; diff --git a/bin/indexer.php b/bin/indexer.php index 9ccdaa448..c8c83610d 100755 --- a/bin/indexer.php +++ b/bin/indexer.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php use splitbrain\phpcli\CLI; diff --git a/bin/plugin.php b/bin/plugin.php index a3ee78dd0..84a800ecb 100755 --- a/bin/plugin.php +++ b/bin/plugin.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php use dokuwiki\Extension\PluginController; diff --git a/bin/render.php b/bin/render.php index cc4a00314..607695191 100755 --- a/bin/render.php +++ b/bin/render.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php use splitbrain\phpcli\CLI; diff --git a/bin/striplangs.php b/bin/striplangs.php index 1800971e5..91805d59e 100755 --- a/bin/striplangs.php +++ b/bin/striplangs.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php use splitbrain\phpcli\CLI; diff --git a/bin/wantedpages.php b/bin/wantedpages.php index f2efa0950..6b3f78743 100755 --- a/bin/wantedpages.php +++ b/bin/wantedpages.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php use splitbrain\phpcli\CLI; diff --git a/lib/scripts/jquery/update.sh b/lib/scripts/jquery/update.sh index e950d89b7..10c29c4ee 100755 --- a/lib/scripts/jquery/update.sh +++ b/lib/scripts/jquery/update.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh # # This script loads the latest jQuery and jQuery-UI 1.* versions from jQuery's CDN # |