Merge branch 'launch-script-version' into 'master'

Only check if `.git` exists, not more See merge request poezio/poezio!9
2018-08-20 19:42:33 +02:00 · 2018-08-20 19:42:33 +02:00 · 7ce30f8f27
commit 7ce30f8f27
parent 390d076abb 0ec5250056
1 changed files with 2 additions and 2 deletions
--- a/launch.sh
+++ b/launch.sh
@ -5,11 +5,11 @@ then
    POEZIO_VENV="poezio-venv"
 fi

-if [ -d .git ]
+if [ -e .git ]
 then
    args=$(git show --format='%h %ci' | head -n1)
 else
-    args="0.9-dev"
+    args="0.12-dev"
 fi

 if [ -e "$POEZIO_VENV" ]