From 767a8079f3d1acf163fd12bc1fe43c934308b18b Mon Sep 17 00:00:00 2001
From: R0GGER <8298741+R0GGER@users.noreply.github.com>
Date: Thu, 15 Oct 2020 13:36:21 +0200
Subject: [PATCH] Update odoo_install_debian.sh

https://github.com/Yenthe666/InstallScript/pull/215#issuecomment-614594188
idem for debian
---
 odoo_install_debian.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/odoo_install_debian.sh b/odoo_install_debian.sh
index 425ad77..e623758 100644
--- a/odoo_install_debian.sh
+++ b/odoo_install_debian.sh
@@ -156,7 +156,7 @@ if [ $GENERATE_RANDOM_PASSWORD = "True" ]; then
     OE_SUPERADMIN=$(cat /dev/urandom | tr -dc 'a-zA-Z0-9' | fold -w 16 | head -n 1)
 fi
 sudo su root -c "printf 'admin_passwd = ${OE_SUPERADMIN}\n' >> /etc/${OE_CONFIG}.conf"
-if [ $OE_VERSION >= "12.0" ]; then
+if [ $OE_VERSION > "12.0" ]; then
     sudo su root -c "printf 'http_port = ${OE_PORT}\n' >> /etc/${OE_CONFIG}.conf"
 else
     sudo su root -c "printf 'xmlrpc_port = ${OE_PORT}\n' >> /etc/${OE_CONFIG}.conf"