diff --git a/src/bin_client/tezos-init-sandboxed-client.sh b/src/bin_client/tezos-init-sandboxed-client.sh index 8a4158553..0d04543ce 100755 --- a/src/bin_client/tezos-init-sandboxed-client.sh +++ b/src/bin_client/tezos-init-sandboxed-client.sh @@ -2,12 +2,6 @@ set -e -if [ "$is_tezos_sandboxed_init" = "1" ]; then - echo 'The client has already been initialized in this session.' >&2 - echo 'Start a new shell session if you wish to reinitialize a client.' >&2 - exit -fi - client_dirs=() init_sandboxed_client() { @@ -216,6 +210,12 @@ usage() { main () { + if [ "$is_tezos_sandboxed_init" = "1" ]; then + echo 'The client has already been initialized in this session.' >&2 + echo 'Start a new shell session if you wish to reinitialize a client.' >&2 + exit + fi + local bin_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")" if [ $(basename "$bin_dir") = "bin_client" ]; then local_client="${local_client:-$bin_dir/../../_build/default/src/bin_client/main_client.exe}"