2018-03-24 13:40:43 +01:00
|
|
|
#!/bin/bash
|
2018-03-18 10:12:39 +01:00
|
|
|
|
|
|
|
|
dir=$(cd "${0%[/\\]*}" > /dev/null; pwd)
|
|
|
|
|
|
|
|
|
|
if [[ -d /proc/cygdrive && $(which php) == $(readlink -n /proc/cygdrive)/* ]]; then
|
2023-03-22 04:17:01 +01:00
|
|
|
# We are in Cygwin using Windows php, so the path must be translated
|
2018-03-18 10:12:39 +01:00
|
|
|
dir=$(cygpath -m "$dir");
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
php "${dir}/console.php" "$@"
|
