From b4d84a15d812826f73379f249bb2a161e6ab9364 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Tue, 5 Jul 2022 15:33:16 +0200
Subject: [PATCH] Fixed install script

---
 distro/contents/install | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/distro/contents/install b/distro/contents/install
index 85044da..3e53d41 100755
--- a/distro/contents/install
+++ b/distro/contents/install
@@ -225,9 +225,9 @@ function replace_property {
 }
 
 echo -e "\ninstalling configuration         \c"
-if [ ! -s "$ghnhome/container.xml" ]; then
+if [ ! -s "$ghnhome/container.ini" ]; then
 	if [ -z "$dryrun" ]; then 
-		cp $distro/container.xml $ghnhome/
+		cp $distro/container.ini $ghnhome/
 	fi
 	echo -n "."
     sleep .01