aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorAndreas Gohr <andi@splitbrain.org>2020-06-30 09:13:12 +0200
committerGitHub <noreply@github.com>2020-06-30 09:13:12 +0200
commit95ca65a41a881c3a37fd692ec2c11eaa5dd54998 (patch)
treecf959877b989e0b1c7f98121dbd18bc547375536
parent8e51f8a889365e9caf375532493e68e4f3d35140 (diff)
parentcbfa4829d9bcd40d1cc3b9220fe78fa37c385c02 (diff)
downloaddokuwiki-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.php2
-rwxr-xr-xbin/dwpage.php2
-rwxr-xr-xbin/gittool.php2
-rwxr-xr-xbin/indexer.php2
-rwxr-xr-xbin/plugin.php2
-rwxr-xr-xbin/render.php2
-rwxr-xr-xbin/striplangs.php2
-rwxr-xr-xbin/wantedpages.php2
-rwxr-xr-xlib/scripts/jquery/update.sh2
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
#