c9-core/plugins/c9.ide.language.python/server/launch_command.sh

41 wiersze
1023 B
Bash
Czysty Zwykły widok Historia

2017-01-06 10:47:08 +00:00
#!/usr/bin/env bash
# Helper script to launch jedi/pylint in a python2/3 virtualenv
set -e
PYTHON=$1
COMMAND=$2
SHAREDENV="/mnt/shared/lib/$PYTHON"
FALLBACKENV="$HOME/.c9/$PYTHON"
if [[ -d $SHAREDENV ]]; then
ENV=$SHAREDENV
source $ENV/bin/activate
PYTHON="$ENV/bin/$PYTHON"
elif which virtualenv &>/dev/null; then
ENV=$FALLBACKENV
if ! [[ -d $ENV ]]; then
VERSION=
if [ "$PYTHON" = "python3" ]; then
VERSION=--python=python3
fi
virtualenv $VERSION $ENV
fi
source $ENV/bin/activate
if ! python -c 'import jedi' &>/dev/null; then
echo "Installing python support dependencies" >&2
pip install --upgrade jedi pylint pylint-flask pylint-django >&2
fi
PYTHON=$ENV/bin/$PYTHON
else
echo "Python support fatal error: virtualenv not installed" >&2
echo "try 'pip install virtualenv' or 'sudo pip install virtualenv'" >&2
exit 1
fi
COMMAND=${COMMAND/\$PYTHON/$PYTHON}
COMMAND=${COMMAND/\$ENV/$ENV}
eval "$COMMAND"