diff --git a/build/gulpfile.reh.js b/build/gulpfile.reh.js index 5a7d4cfb4e8..c2b81d0cf7c 100644 --- a/build/gulpfile.reh.js +++ b/build/gulpfile.reh.js @@ -382,7 +382,6 @@ function packageTask(type, platform, arch, sourceFolderName, destinationFolderNa } else if (platform === 'linux' || platform === 'alpine') { result = es.merge(result, gulp.src(`resources/server/bin/helpers/check-requirements-linux.sh`, { base: '.' }) - .pipe(replace('@@SERVER_APPLICATION_NAME@@', product.serverApplicationName)) .pipe(rename(`bin/helpers/check-requirements.sh`)) .pipe(util.setExecutableBit()) ); diff --git a/resources/server/bin/helpers/check-requirements-linux.sh b/resources/server/bin/helpers/check-requirements-linux.sh index a12570797ba..079557869e3 100644 --- a/resources/server/bin/helpers/check-requirements-linux.sh +++ b/resources/server/bin/helpers/check-requirements-linux.sh @@ -18,22 +18,12 @@ set -e # Provides a way to skip the server requirements check from # outside the install flow. A system process can create this # file before the server is downloaded and installed. -# -# This check is duplicated between code-server-linux.sh and here -# since remote container calls into this script directly quite early -# before the usual server startup flow. if [ -f "/tmp/vscode-skip-server-requirements-check" ]; then echo "!!! WARNING: Skipping server pre-requisite check !!!" echo "!!! Server stability is not guaranteed. Proceed at your own risk. !!!" exit 0 fi -# Default to legacy server if the following file is present. -if [ -f "$HOME/@@SERVER_APPLICATION_NAME@@-use-legacy" ]; then - echo "!!! WARNING: Using legacy server due to the presence of $HOME/@@SERVER_APPLICATION_NAME@@-use-legacy !!!" - exit 100 -fi - ARCH=$(uname -m) found_required_glibc=0 found_required_glibcxx=0