You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
if [[ $SHELL_EXTENSION == "bash" ]]
then
WSDIR=$(readlink -f $(dirname $(dirname "${BASH_SOURCE[0]}")))
elif [[ $SHELL_EXTENSION == "zsh" ]]
then
WSDIR="$(dirname $(readlink -f ${0%/*}))";
else
echo "This shell is not supported. Please use bash or zsh."
exit -1 # Not permitted
fi
Later modification will become difficult to do correctly if it stays
Maybe source a separate file containing the identical code or use an external function.
The text was updated successfully, but these errors were encountered:
if [[ $SARA_FORCE_SSH == "true" ]]
then
echo "SARA_FORCE_SSH is true. Forcing ssh mode."
bash -c "source script/_switch_https_ssh.sh``` -s or -h ```"
fi
See sara_install/script/
This code is the exact same in more than 4 files:
Later modification will become difficult to do correctly if it stays
Maybe source a separate file containing the identical code or use an external function.
The text was updated successfully, but these errors were encountered: