2018-05-31 14:00:33 +02:00
|
|
|
diff --new-file -r -u gildas-src-feb17d.orig/admin/wrapper.sh gildas-src-feb17d/admin/wrapper.sh
|
|
|
|
--- gildas-src-feb17d.orig/admin/wrapper.sh 1970-01-01 01:00:00.000000000 +0100
|
|
|
|
+++ gildas-src-feb17d/admin/wrapper.sh 2017-05-18 21:00:01.660778782 +0200
|
2020-06-19 16:40:38 +02:00
|
|
|
@@ -0,0 +1,16 @@
|
2018-05-31 14:00:33 +02:00
|
|
|
+#!/bin/sh -e
|
|
|
|
+
|
|
|
|
+export GAG_ROOT_DIR="%%OUT%%"
|
|
|
|
+export GAG_PATH="${GAG_ROOT_DIR}/etc"
|
|
|
|
+export GAG_EXEC_SYSTEM="libexec"
|
2020-06-19 16:40:38 +02:00
|
|
|
+export GAG_GAG="${HOME}/.gag"
|
2018-05-31 14:00:33 +02:00
|
|
|
+export PYTHONHOME="%%PYTHONHOME%%"
|
|
|
|
+if [ -z "\$PYTHONPATH" ]; then
|
|
|
|
+ PYTHONPATH="${GAG_ROOT_DIR}/${GAG_EXEC_SYSTEM}/python"
|
|
|
|
+else
|
|
|
|
+ PYTHONPATH="${GAG_ROOT_DIR}/${GAG_EXEC_SYSTEM}/python:${PYTHONPATH}"
|
|
|
|
+fi
|
|
|
|
+export PYTHONPATH
|
|
|
|
+export LD_LIBRARY_PATH=${GAG_ROOT_DIR}/${GAG_EXEC_SYSTEM}/lib/
|
|
|
|
+me=`basename $0`
|
|
|
|
+exec ${GAG_ROOT_DIR}/${GAG_EXEC_SYSTEM}/bin/${me} ${*}
|