summaryrefslogtreecommitdiff
path: root/launch.sh
diff options
context:
space:
mode:
authormathieui <mathieui@mathieui.net>2015-01-15 16:46:51 +0100
committermathieui <mathieui@mathieui.net>2015-01-15 16:47:29 +0100
commit0efdcd12e24586453dfd3f5395b950699bd1d846 (patch)
tree3d52982f4e9fdf2279dc1c79ab66a7aa10c086c6 /launch.sh
parenta4771623a509b8f87e137169897d4347cb44fa70 (diff)
downloadpoezio-0efdcd12e24586453dfd3f5395b950699bd1d846.tar.gz
poezio-0efdcd12e24586453dfd3f5395b950699bd1d846.tar.bz2
poezio-0efdcd12e24586453dfd3f5395b950699bd1d846.tar.xz
poezio-0efdcd12e24586453dfd3f5395b950699bd1d846.zip
Make use of the $POEZIO_VENV and $POEZIO_VENV_COMMAND env variables if they exist
(instead of having the user edit the scripts to tailor it to their needs)
Diffstat (limited to 'launch.sh')
-rwxr-xr-xlaunch.sh9
1 files changed, 6 insertions, 3 deletions
diff --git a/launch.sh b/launch.sh
index fcbfa5d9..ca100524 100755
--- a/launch.sh
+++ b/launch.sh
@@ -1,6 +1,9 @@
#!/bin/sh
poezio_dir=$(dirname "$0")
-VENV="poezio-venv"
+if [ -z "$POEZIO_VENV" ]
+then
+ POEZIO_VENV="poezio-venv"
+fi
if [ -d "$poezio_dir/.git" ]
then
@@ -9,9 +12,9 @@ else
args="0.9-dev"
fi
-if [ -e "$poezio_dir/$VENV" ]
+if [ -e "$poezio_dir/$POEZIO_VENV" ]
then
- PYTHON3="$poezio_dir/$VENV/bin/python3"
+ PYTHON3="$poezio_dir/$POEZIO_VENV/bin/python3"
else
echo ""
echo "WARNING: Not using the up-to-date launch format"