1
0
Fork 0

Merge branch '2.2' into main

pull/10449/head
Jordi Boggiano 2022-01-07 14:29:59 +01:00
commit e2ba625a93
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 9 additions and 2 deletions

View File

@ -397,9 +397,16 @@ PROXY;
return <<<PROXY
#!/usr/bin/env sh
self=\$(realpath \$0 2> /dev/null)
# Support bash to support `source` with fallback on $0 if this does not run with bash
# https://stackoverflow.com/a/35006505/6512
selfArg="\$BASH_SOURCE"
if [ -z "\$selfArg" ]; then
selfArg="\$0"
fi
self=\$(realpath \$selfArg 2> /dev/null)
if [ -z "\$self" ]; then
self="\$0"
self="\$selfArg"
fi
dir=\$(cd "\${self%[/\\\\]*}" > /dev/null; cd $binDir && pwd)