This is an automated email from the ASF dual-hosted git repository. yiconghuang pushed a commit to branch fix/remove-duplicate-python-language-service in repository https://gitbox.apache.org/repos/asf/texera.git
commit be3fdbd3a738e62173b809f918fe8e1b7c20c9ca Author: Yicong Huang <[email protected]> AuthorDate: Sun Oct 12 23:16:20 2025 -0700 fix: remove duplicated one --- common/scripts/python-language-service.sh | 84 ------------------------------- 1 file changed, 84 deletions(-) diff --git a/common/scripts/python-language-service.sh b/common/scripts/python-language-service.sh deleted file mode 100755 index 24d274af0f..0000000000 --- a/common/scripts/python-language-service.sh +++ /dev/null @@ -1,84 +0,0 @@ -#!/bin/bash -# Licensed to the Apache Software Foundation (ASF) under one -# or more contributor license agreements. See the NOTICE file -# distributed with this work for additional information -# regarding copyright ownership. The ASF licenses this file -# to you under the Apache License, Version 2.0 (the -# "License"); you may not use this file except in compliance -# with the License. You may obtain a copy of the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, -# software distributed under the License is distributed on an -# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY -# KIND, either express or implied. See the License for the -# specific language governing permissions and limitations -# under the License. - - -set -e - -DEFAULT_PROVIDER="pylsp" -DEFAULT_PORT=3000 - -PROVIDER="" -PORT="" - -BASE_DIR=$(dirname "$0") -PYRIGHT_DIR="$BASE_DIR/../../pyright-language-service" - -while [ $# -gt 0 ]; do - case "$1" in - --server=*|--provider=*) - PROVIDER="${1#*=}" - ;; - --port=*) - PORT="${1#*=}" - ;; - *) - echo "Unknown argument: $1" - echo "Usage: $0 [--server=<pyright|pylsp>] [--port=<port_number>]" - exit 1 - ;; - esac - shift -done - -PROVIDER="${PROVIDER:-$DEFAULT_PROVIDER}" -PORT="${PORT:-$DEFAULT_PORT}" - -# Validate port value -if ! [[ "$PORT" =~ ^[0-9]+$ ]]; then - echo "Invalid port: $PORT. Must be a number." - exit 1 -fi - -start_pyright() { - echo "Starting Pyright Language Server on port $PORT..." - cd "$PYRIGHT_DIR" - yarn install --silent - yarn start --port="$PORT" -} - -start_pylsp() { - echo "Starting Pylsp Language Server on port $PORT..." - if ! command -v pylsp &>/dev/null; then - echo "Error: pylsp is not installed. Install it with 'pip install python-lsp-server'." - exit 1 - fi - pylsp --port "$PORT" --ws -} - -case $PROVIDER in - pyright) - start_pyright - ;; - pylsp) - start_pylsp - ;; - *) - echo "Invalid provider: $PROVIDER. Valid options are: pyright, pylsp." - exit 1 - ;; -esac
