fix cd_workspace (do no really set script directory)
This commit is contained in:
parent
9189658cd5
commit
852bd89669
|
@ -8,14 +8,11 @@ set -e
|
||||||
# change dir to the path of the directory in which a current bash script is located
|
# change dir to the path of the directory in which a current bash script is located
|
||||||
# source: http://stackoverflow.com/a/179231/842168
|
# source: http://stackoverflow.com/a/179231/842168
|
||||||
function cd_workspace() {
|
function cd_workspace() {
|
||||||
pushd . > /dev/null
|
|
||||||
SCRIPT_PATH="${BASH_SOURCE[0]}";
|
SCRIPT_PATH="${BASH_SOURCE[0]}";
|
||||||
if ([ -h "${SCRIPT_PATH}" ]) then
|
if ([ -h "${SCRIPT_PATH}" ]) then
|
||||||
while([ -h "${SCRIPT_PATH}" ]) do cd `dirname "$SCRIPT_PATH"`; SCRIPT_PATH=`readlink "${SCRIPT_PATH}"`; done
|
while([ -h "${SCRIPT_PATH}" ]) do cd `dirname "$SCRIPT_PATH"`; SCRIPT_PATH=`readlink "${SCRIPT_PATH}"`; done
|
||||||
fi
|
fi
|
||||||
cd `dirname ${SCRIPT_PATH}` > /dev/null
|
cd `dirname ${SCRIPT_PATH}` > /dev/null
|
||||||
SCRIPT_PATH=`pwd`;
|
|
||||||
popd > /dev/null
|
|
||||||
}
|
}
|
||||||
|
|
||||||
function license_check() {
|
function license_check() {
|
||||||
|
|
Loading…
Reference in New Issue