diff --git a/setup.py b/setup.py index 435436f2..f4a50885 100644 --- a/setup.py +++ b/setup.py @@ -57,6 +57,8 @@ class custom_install(install): dest_line = 'DAEMON=""\n' #we want to launch sat as a daemon elif ori_line.startswith('TAP_PATH='): dest_line = 'TAP_PATH="%s/"\n' % run_dir + elif ori_line.startswith('PYTHON='): + dest_line = 'PYTHON="%s"\n' % sys.executable else: dest_line = ori_line sh_buffer += dest_line diff --git a/src/sat.sh b/src/sat.sh index 945807b4..653611c1 100755 --- a/src/sat.sh +++ b/src/sat.sh @@ -15,9 +15,10 @@ if [ $# -eq 1 ];then fi NAME='sat' +PYTHON='python' #We use python to parse config files -eval `python<