From 547befacecbbd5a3030afcca8c1ac1d5ed107706 Mon Sep 17 00:00:00 2001 From: admin Date: Mon, 13 Oct 2003 07:00:19 +0000 Subject: [PATCH] Initial version --- config_files/HappyDoc-r2_1.sh | 105 ++++++++++++++++++++++++++++++++++ 1 file changed, 105 insertions(+) create mode 100755 config_files/HappyDoc-r2_1.sh diff --git a/config_files/HappyDoc-r2_1.sh b/config_files/HappyDoc-r2_1.sh new file mode 100755 index 0000000..2fc19ce --- /dev/null +++ b/config_files/HappyDoc-r2_1.sh @@ -0,0 +1,105 @@ +#!/bin/sh + +check_version(){ +check_lib_version happydoc ${PYTHONHOME}/bin +if [ "$?" -ne "0" ]; then + return 1 +fi +ver=`happydoc | grep "HappyDoc version 2.1"` +if [ -n "$ver" ]; then + #echo "The product ${PRODUCT} has been already installed on yours system" + return 0 +fi +return 1 +} + +print_env(){ +cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh < ${INSTALL_WORK}/try_native.py < ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh < ${file_pth} <