diff --git a/src/serverSetup.ts b/src/serverSetup.ts index 1f88bad..ce7fb34 100644 --- a/src/serverSetup.ts +++ b/src/serverSetup.ts @@ -317,9 +317,9 @@ if [[ ! -f $SERVER_SCRIPT ]]; then pushd $SERVER_DIR > /dev/null if [[ ! -z $(which wget) ]]; then - wget --tries=3 --timeout=10 --continue --quiet -O vscode-server.tar.gz $SERVER_DOWNLOAD_URL + wget --tries=3 --timeout=10 --continue --no-verbose -O vscode-server.tar.gz $SERVER_DOWNLOAD_URL elif [[ ! -z $(which curl) ]]; then - curl --retry 3 --connect-timeout 10 --location --silent --output vscode-server.tar.gz $SERVER_DOWNLOAD_URL + curl --retry 3 --connect-timeout 10 --location --show-error --silent --output vscode-server.tar.gz $SERVER_DOWNLOAD_URL else echo "Error no tool to download server binary" print_install_results_and_exit 1