poezio/launch.sh

#!/bin/sh
poezio_dir=$(dirname "$0")

if [ -d "$poezio_dir/.git" ]
then
    args=$(git --git-dir="$poezio_dir/.git" show --format='%h %ci' | head -n1)
else
    args="0.8.3-dev"
fi
exec python3 -OO "$poezio_dir/src/poezio.py" -v "$args" "$@"
Fix the shebang. 2012-10-05 14:58:09 +00:00			`#!/bin/sh`
Fix the launch script from directory with spaces in them 2014-03-30 11:56:12 +00:00			`poezio_dir=$(dirname "$0")`
/usr/bin/environ c'est mieux 2010-02-01 20:28:33 +00:00
Fix the launch script from directory with spaces in them 2014-03-30 11:56:12 +00:00			`if [ -d "$poezio_dir/.git" ]`
Bump dev version 2014-02-22 13:27:31 +00:00			`then`
Fix the launch script from directory with spaces in them 2014-03-30 11:56:12 +00:00			`args=$(git --git-dir="$poezio_dir/.git" show --format='%h %ci' \| head -n1)`
Bump dev version 2014-02-22 13:27:31 +00:00			`else`
			`args="0.8.3-dev"`
			`fi`
Fix the launch script from directory with spaces in them 2014-03-30 11:56:12 +00:00			`exec python3 -OO "$poezio_dir/src/poezio.py" -v "$args" "$@"`
Use exec in launch.sh 2011-02-26 13:16:19 +00:00